Package com.ibm.wala.analysis.stackMachine

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

See:
Description

Interface Summary

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

AbstractIntStackMachine	Skeleton of functionality to propogate 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.