Class AbstractIntStackMachine

  • All Implemented Interfaces:
    FixedPointConstants
    Direct Known Subclasses:
    SSABuilder

    public abstract class AbstractIntStackMachine
    extends Object
    implements FixedPointConstants
    Skeleton of functionality to propagate information through the Java bytecode stack machine using ShrikeBT.

    This class computes properties the Java operand stack and of the local variables at the beginning of each basic block.

    In this implementation, each dataflow variable value is an integer, and the "meeter" object provides the meets