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 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. |
Since: ASM 1.4.3