Package com.ibm.wala.analysis.stackMachine

package com.ibm.wala.analysis.stackMachine

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

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.
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.