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