|
Class Summary |
| AbstractAnalyser |
An abstract class for constructing applications for analyzing the JVM methods of a
class file. |
| AbstractSSDependingAbstraction |
An abstract helper class for implementing abstractions where the initial values at
instructions depend on the size of the operand size at this instruction. |
| CFPAbstraction |
Implementation of a constant folding propagation abstraction. |
| CFPAnalyser |
An application for finding constants in the operand stack and the local variables
at each instruction of all methods of a class file. |
| CFPComponentLattice |
The lattice used by the constant folding propagation lattices to describe a single
value. |
| CFPLattice |
The lattice used for constant folding propagation. |
| CFPLocalsLattice |
The lattice used by the constant folding propagation lattice to describe the state
of the local variable slots. |
| CFPStackLattice |
The lattice used by the constant folding propagation lattice to describe the state
of the operand stack. |
| CPAbstraction |
Implementation of a constant propagation abstraction. |
| CPAnalyser |
An application for finding constants in the operand stack and the local variables
at each instruction of all methods of a class file. |
| LVAbstraction |
Implementation of a live variables abstraction. |
| LVAnalyser |
An application for finding live variables in the local variables at each
instruction of all methods of a class file. |
| SSAbstraction |
Implementation of a stack size abstraction. |
| SSAnalyser |
An application for analyzing the size of the operand stack at each instruction of
all methods of a class file. |
| SSLattice |
The lattice used by SSAbstraction. |