See: Description
| Interface | Description |
|---|---|
| AbstractIntStackMachine.FlowProvider |
Interface which defines a flow function for a basic block
|
| AbstractIntStackMachine.Meeter |
A Meeter object provides the dataflow logic needed to meet the abstract machine state for a
dataflow meet.
|
| Class | Description |
|---|---|
| AbstractIntStackMachine |
Skeleton of functionality to propagate information through the Java bytecode stack machine using
ShrikeBT.
|
| AbstractIntStackMachine.BasicStackFlowProvider |
This gives some basic facilities for shoving things around on the stack.
|