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