A type that does not depend on input to the transfer function.
A type for program points.
A type for program points.
A flow transfer function of a basic block.
The type found at a stack position.
The type of a given local variable.
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.
Initialize the in/out maps for the analysis of the given method.
Abstract interpretation for one instruction.
the number of times we iterated before reaching a fixpoint.
the number of times we iterated before reaching a fixpoint.
collect statistics?
collect statistics?