Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code

Data flow analysis is used to discover information for a wide variety of useful applications, ranging from compiler optimizations to software engineering and ve

"Presents a series of tutorial and research papers on the applications of flow analysis, as well as its methods and underlying theory." -- Preface.