Package dk.brics.xact.analysis.dataflow

Dataflow analysis framework for flow graphs.

See:
          Description

Interface Summary
AnalysisInterface<ElementType> Lattice and transfer functions for a dataflow analysis.
VariableAnalysisInterface<VariableElementType> Lattice and transfer functions for a VariableAnalysis.
 

Class Summary
DataflowAnalyzer<ElementType> Performs a dataflow analysis on a flow graph, given an AnalysisInterface instance.
VariableAnalysis<VariableElementType> Lattice and transfer functions for a dataflow analysis that tracks values for program variables.
VariableAnalysisElement<VariableElementType> Lattice element for VariableAnalysis.
 

Package dk.brics.xact.analysis.dataflow Description

Dataflow analysis framework for flow graphs.

Author:
Anders Møller <amoeller@cs.au.dk>, Asger Feldthaus <asf@cs.au.dk>, Christian Kirkegaard <ck@cs.au.dk>, Aske Simon Christensen <aske@cs.au.dk>


Copyright © 2005-2011 Aarhus University.