|
Generated by JDiff |
||||||||
| PREV PACKAGE NEXT PACKAGE FRAMES NO FRAMES | DETAIL: REMOVED | ADDED | CHANGED | ||||||||
| Changed Classes and Interfaces | |
|
|
A semantic bytecode analyzer. |
|
|
Thrown if a problem occurs during the analysis of a method. |
|
|
An Interpreter for BasicValue values. |
|
|
A Value that is represented by its type in a seven types type sytem. |
|
|
An extended BasicInterpreter that checks that bytecode instructions are correctly used. |
|
|
An Interpreter for DataflowValue values. |
|
|
A Value that is represented by its type in a two types type system. |
|
|
A symbolic execution stack frame. |
|
|
A semantic bytecode interpreter. |
|
|
An extended BasicVerifier that performs more precise verifications. |
|
|
An immutable symbolic value for semantic interpretation of bytecode. |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE FRAMES NO FRAMES | |||||||||