Uses of Package
com.ibm.wala.analysis.stackMachine

Packages that use com.ibm.wala.analysis.stackMachine

Package	Description
com.ibm.wala.analysis.stackMachine	This package provides a layer to perform abstract interpretation over the JVM stack machine.
com.ibm.wala.ssa	This package provides the WALA SSA IR.

Classes in com.ibm.wala.analysis.stackMachine used by com.ibm.wala.analysis.stackMachine

Class and Description
AbstractIntStackMachine.BasicStackFlowProvider.BasicStackMachineVisitor Update the machine state to account for an instruction
AbstractIntStackMachine.FlowProvider Interface which defines a flow function for a basic block
AbstractIntStackMachine.MachineState Representation of the state of the JVM stack machine at some program point.
AbstractIntStackMachine.Meeter A Meeter object provides the dataflow logic needed to meet the abstract machine state for a dataflow meet.

Classes in com.ibm.wala.analysis.stackMachine used by com.ibm.wala.ssa

Class and Description
AbstractIntStackMachine Skeleton of functionality to propagate information through the Java bytecode stack machine using ShrikeBT.