A type that does not depend on input to the transfer function.
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.
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.
This method is invoked after one or more inlinings have been performed in basic blocks whose in-flow is non-bottom (this makes a difference later).