Package com.ibm.wala.analysis.stackMachine

This package provides a layer to perform abstract interpretation over the JVM stack machine.

See: Description

Interface Summary

Interface	Description
AbstractIntStackMachine.FlowProvider	Interface which defines a flow function for a basic block
AbstractIntStackMachine.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.

Package com.ibm.wala.analysis.stackMachine Description

This package provides a layer to perform abstract interpretation over the JVM stack machine.