A modified copy-propagation like analysis.
A generic framework for data flow analysis.
Compute liveness information for local variables.
Program points are locations in the program where we want to assert certain properties through data flow analysis, e.
Compute reaching definitions.
A complete lattice.
A data-flow analysis on types, that works on