All Classes and Interfaces

Class	Description
Analyzer<V>	A semantic bytecode analyzer.
AnalyzerException	An exception thrown if a problem occurs during the analysis of a method.
BasicInterpreter	An Interpreter for BasicValue values.
BasicValue	A Value that is represented with its type in a seven types type system.
BasicVerifier	An extended BasicInterpreter that checks that bytecode instructions are correctly used.
Frame<V>	A symbolic execution stack frame.
Interpreter<V>	A semantic bytecode interpreter.
SimpleVerifier	An extended BasicVerifier that performs more precise verifications.
SourceInterpreter	An Interpreter for SourceValue values.
SourceValue	A Value which keeps track of the bytecode instructions that can produce it.
Value	An immutable symbolic value for the semantic interpretation of bytecode.