| Interface | Description |
|---|---|
| JvmAbstractStateFactory<StateT extends LatticeAbstractState<StateT>> |
This interface contains a method creating a fresh instance of
JvmAbstractState. |
| Class | Description |
|---|---|
| JvmAbstractState<StateT extends LatticeAbstractState<StateT>> |
The
JvmAbstractState consists of the method frame JvmFrameAbstractState and the
heap JvmHeapAbstractState. |
| JvmFrameAbstractState<StateT extends LatticeAbstractState<StateT>> |
The
JvmFrameAbstractState combines the operand stack as the StackAbstractState
and the local variable array as the ListAbstractState. |