A type for program points.
Implements forward dataflow analysis: the transfer function is applied when inputs to a Program point change, to obtain the new output value.
Implements forward dataflow analysis: the transfer function is applied when inputs to a Program point change, to obtain the new output value.
the transfer function.
the number of times we iterated before reaching a fixpoint.
collect statistics?
A generic framework for data flow analysis.