Interface | Description |
---|---|
Interpreter |
A semantic bytecode interpreter.
|
Value |
An immutable symbolic value for semantic interpretation of bytecode.
|
Class | Description |
---|---|
Analyzer |
A semantic bytecode analyzer.
|
BasicInterpreter |
An
Interpreter for BasicValue values. |
BasicValue |
A
Value that is represented by its type in a seven types type sytem. |
BasicVerifier |
An extended
BasicInterpreter that checks that bytecode instructions
are correctly used. |
DataflowInterpreter |
An
Interpreter for DataflowValue values. |
DataflowValue |
A
Value that is represented by its type in a two types type system. |
Frame |
A symbolic execution stack frame.
|
SimpleVerifier |
An extended
BasicVerifier that performs more precise verifications. |
Exception | Description |
---|---|
AnalyzerException |
Thrown if a problem occurs during the analysis of a method.
|
Copyright © 2021. All rights reserved.