Package com.ibm.wala.analysis.stackMachine
-
Interface Summary Interface Description AbstractIntStackMachine.FlowProvider Interface which defines a flow function for a basic blockAbstractIntStackMachine.Meeter A Meeter object provides the dataflow logic needed to meet the abstract machine state for a dataflow meet. -
Class Summary Class Description AbstractIntStackMachine Skeleton of functionality to propagate information through the Java bytecode stack machine using ShrikeBT.AbstractIntStackMachine.BasicStackFlowProvider This gives some basic facilities for shoving things around on the stack.