Data-flow analysis

Technique for gathering information about the possible set of values calculated at various points in a computer program

Data-flow analysis is a technique for gathering information about the possible set of values calculated at various points in a computer program. It forms the foundation for a wide variety of compiler optimizations and program verification techniques.