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