Package de.rwth.dfa.jvm

This package adds an additional level of abstraction on the @{link de.rwth.dfa} package.

See:
Description

Interface Summary

Abstraction

An interface for describing an abstract model of JVM execution.

Class Summary

Abstraction.Default	Container class for default implementations of methods.
BasicBlockGraph	A class for the basic block graph of JVM methods.
BasicBlockGraphSolver	A JVM abstraction solver using basic block graphs.
ExceptionHeaderInstruction	A class used to describe the entry of exception handlers.
ExceptionHeaderInstructionHandle	A handle for the ExceptionHeaderInstruction.
ExecutionSolver	JVM abstraction solver based on direct execution.
FactorisedBasicBlockGraphSolver	A JVM abstraction solver using factorised basic block graphs.
FactorisedFlowGraph	A class for the factorised flow graph of JVM methods.
FactorisedFlowGraphSolver	A JVM abstraction solver using factorised flow graphs.
FlowGraph	A class for the flow graph of JVM methods.
FlowGraphSolver	A JVM abstraction solver using flow graphs.
GraphSolver	An abstract class for a graph based JVM abstraction solver.
InstructionHandleVector	A type safe vector class for InstructionHandle objects.
Solver	An abstract class for a JVM abstraction solver.

Package de.rwth.dfa.jvm Description

This package adds an additional level of abstraction on the @{link de.rwth.dfa} package. It allows to implement abstract interpretation based intraprocedural analyses for Java Virtual Machine (JVM). It depends on the Byte Code Engineering Library