Data flow analysis is used to discover information for a wide variety of useful applications, ranging from compiler optimizations to software engineering and verification. Modern compilers apply it to produce performance-maximizing code, and software engineers use it to re-engineer or reverse engineer programs and verify the integrity of their programs.

Supplementary Online Materials to Strengthen Understanding

Unlike most comparable books, many of which are limited to bit vector frameworks and classical constant...