Package de.rwth.dfa.jvm.samples

This package contains bytecode analyses implemented using the de.rwth.dfa.jvm package.

See:
          Description

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.
 

Package de.rwth.dfa.jvm.samples Description

This package contains bytecode analyses implemented using the de.rwth.dfa.jvm package. Each analysis consists of an implementation of Abstraction and a standalone application. The implemented analyses are:

  1. Live variables
  2. Stack sizes
  3. Constant propagation
  4. Constant folding propagation