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