| Modifier and Type | Class | Description |
|---|---|---|
class |
Analyzer<V extends Value> |
A semantic bytecode analyzer.
|
class |
Frame<V extends Value> |
A symbolic execution stack frame.
|
class |
Interpreter<V extends Value> |
A semantic bytecode interpreter.
|
| Modifier and Type | Class | Description |
|---|---|---|
class |
BasicValue |
A
Value that is represented with its type in a seven types type system. |
class |
SourceValue |
A
Value which keeps track of the bytecode instructions that can produce it. |
| Constructor | Description |
|---|---|
AnalyzerException(org.objectweb.asm.tree.AbstractInsnNode insn,
java.lang.String message,
java.lang.Object expected,
Value actual) |
Constructs a new
AnalyzerException. |