Package de.rwth.dfa

The core of this package is the class DataFlowSolver, which contains an implementation of the classical iterative algorithm for intra-procedural data-flow analysis.

See:
          Description

Interface Summary
Worklist This interface describes the requirements for work list implementations used the the DataFlowSolver.
 

Class Summary
DataFlowSolver Implements the text-book graph based data flow analysis algorithm.
StackWorklist A work list implementation using stacks.
 

Package de.rwth.dfa Description

The core of this package is the class DataFlowSolver, which contains an implementation of the classical iterative algorithm for intra-procedural data-flow analysis.