AnalyzerException |
Thrown if a problem occurs during the analysis of a method.
|
BasicInterpreter |
|
BasicValue |
A Value that is represented by 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 that is represented by its type in a two types type system.
|
Value |
An immutable symbolic value for semantic interpretation of bytecode.
|