Package com.ibm.wala.dalvik.ssa
-
Interface Summary Interface Description AbstractIntRegisterMachine.FlowProvider Interface which defines a flow function for a basic blockAbstractIntRegisterMachine.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 SSAIR
from a backing ShrikeBT instruction stream.