Class AbstractIntStackMachine

java.lang.Object
com.ibm.wala.analysis.stackMachine.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