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.
reinitialize the analysis, keeping around solutions from a previous run.
Reinitialize, but keep the old solutions.
Reinitialize, but keep the old solutions. Should be used when reanalyzing the same method, after some code transformation.
collect statistics?
collect statistics?