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