| AnalyzerException |
An exception thrown if a problem occurs during the analysis of a method.
|
| 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 |
A symbolic execution stack frame.
|
| Interpreter |
A semantic bytecode interpreter.
|
| SourceValue |
A Value which keeps track of the bytecode instructions that can produce it. |
| Value |
An immutable symbolic value for the semantic interpretation of bytecode.
|