An exception thrown if a problem occurs during the analysis of a method.
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 immutable set of at most two elements, optimized for speed compared to a generic set
implementation.
A
Value which keeps track of the bytecode instructions that can produce it.
A method subroutine (corresponds to a JSR instruction).
An immutable symbolic value for the semantic interpretation of bytecode.