Package org.objectweb.asm.tree.analysis

Provides a framework for static code analysis based on the asm.tree package.

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.
Provides a framework for static code analysis based on the asm.tree package.