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>