| Analyzer<V extends Value> |
A semantic bytecode analyzer.
|
| BasicInterpreter |
|
| BasicValue |
A Value that is represented with its type in a seven types type system.
|
| BasicVerifier |
An extended BasicInterpreter that checks that bytecode instructions are correctly used.
|
| Frame<V extends Value> |
A symbolic execution stack frame.
|
| Interpreter<V extends Value> |
A semantic bytecode interpreter.
|
| SimpleVerifier |
An extended BasicVerifier that performs more precise verifications.
|
| SourceInterpreter |
|
| SourceValue |
A Value which keeps track of the bytecode instructions that can produce it.
|