Provides a framework for static code analysis based on the asm.tree package.
See: Description
| Interface Summary | |
|---|---|
| Interpreter | A semantic bytecode interpreter. |
| Value | An immutable symbolic value for semantic interpretation of bytecode. |
| Class Summary | |
|---|---|
| Analyzer | A semantic bytecode analyzer. |
| AnalyzerException | Thrown if a problem occurs during the analysis of a method. |
| BasicInterpreter | An {@link Interpreter} for {@link BasicValue} values. |
| BasicValue | A {@link Value} that is represented by its type in a seven types type sytem. |
| BasicVerifier | An extended {@link BasicInterpreter} that checks that bytecode instructions are correctly used. |
| DataflowInterpreter | An {@link Interpreter} for {@link DataflowValue} values. |
| DataflowValue | A {@link Value} that is represented by its type in a two types type system. |
| Frame | A symbolic execution stack frame. |
| SimpleVerifier | An extended {@link BasicVerifier} that performs more precise verifications. |
Since: ASM 1.4.3