| 接口 | 说明 |
|---|---|
| Value |
An immutable symbolic value for semantic interpretation of bytecode.
|
| 类 | 说明 |
|---|---|
| Analyzer<V extends Value> |
A semantic bytecode analyzer.
|
| BasicInterpreter |
An
Interpreter for BasicValue values. |
| BasicValue |
A
Value that is represented by its category in a seven types category 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 |
An
Interpreter for SourceValue values. |
| SourceValue |
A
Value that is represented by its category in a two types category system. |
| 异常错误 | 说明 |
|---|---|
| AnalyzerException |
Thrown if a problem occurs during the analysis of a method.
|