Package com.ibm.wala.dalvik.ssa

Interface Summary

Interface	Description
AbstractIntRegisterMachine.FlowProvider	Interface which defines a flow function for a basic block
AbstractIntRegisterMachine.Meeter	A Meeter object provides the dataflow logic needed to meet the abstract machine state for a dataflow meet.

Class Summary

Class	Description
AbstractIntRegisterMachine	Skeleton of functionality to propagate information through the Java bytecode stack machine using ShrikeBT.
AbstractIntRegisterMachine.BasicRegisterFlowProvider	This gives some basic facilities for shoving things around on the stack.
DexSSABuilder	This class constructs an SSA IR from a backing ShrikeBT instruction stream.