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