Package com.ibm.wala.dalvik.ssa

package com.ibm.wala.dalvik.ssa

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.
AbstractIntRegisterMachine.BasicRegisterFlowProvider.BasicRegisterMachineVisitor	Update the machine state to account for an instruction
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.
DexSSABuilder	This class constructs an SSA IR from a backing ShrikeBT instruction stream.