Data Flow Analysis
Potential ripple effects can be understood by examining the definitions and uses of variables
In particular, we would like to solve the reaching definitions problem
- For each statement in a program determine the set of definitions for which there is a path from the definition to the statement on which there does not occur an overriding definition
This problem can be solve using the techniques of data flow analysis, which builds on control flow analysis described previously