DataFlow Directory Reference

Directories
directory	ReachDefs
Files
file	CalleeToCallerVisitor.cpp [code]
	Implementation of CalleeToCallerVisitor class.
file	CalleeToCallerVisitor.hpp [code]
	Concrete Location that will use alias results and parameter bindings to convert a callee location to a set of caller locations.
file	CallGraphDFProblem.hpp [code]
	Class for solving dataflow analysis problems on CallGraphs in a flow and context insensitive fashion.
file	CallGraphDFSolver.cpp [code]
	Definition of a dataflow algorithm for CallGraphs.
file	CallGraphDFSolver.hpp [code]
	Class for solving dataflow analysis problems on CallGraphs in a flow and context insensitive fashion.
file	CFGDFProblem.cpp [code]
	Definition of a dataflow algorithm for CFGs.
file	CFGDFProblem.hpp [code]
	Abstract class for solving dataflow analysis problems on CFGs.
file	CFGDFSolver.cpp [code]
	Definition of a dataflow algorithm for CFGs.
file	CFGDFSolver.hpp [code]
	Abstract class for solving dataflow analysis problems on CFGs.
file	CountDFSet.cpp [code]
	DataflowSet that consists of a count.
file	CountDFSet.hpp [code]
	DataflowSet that consists of a count.
file	DataFlowSet.hpp [code]
	Abstract class for sets of dataflow facts.
file	DFAGenDFSet.hpp [code]
file	DGraphIterativeDFP.cpp [code]
	Definition of Kildall iterative data flow solver for directed graphs.
file	DGraphIterativeDFP.hpp [code]
	Declaration of Kildall iterative data flow solver for directed graphs.
file	DGraphSolverDFP.cpp [code]
	Definition of Kildall iterative data flow solver for directed graphs.
file	DGraphSolverDFP.hpp [code]
	Declaration of Kildall iterative data flow solver for directed graphs.
file	ExprDFSet.cpp [code]
file	ExprDFSet.hpp [code]
file	ICFGDFProblem.hpp [code]
	Abstract class for specifying dataflow analysis problems on ICFGs.
file	ICFGDFSolver.cpp [code]
	Definition of a dataflow algorithm for ICFGs.
file	ICFGDFSolver.hpp [code]
	Abstract class for solving dataflow analysis problems on ICFGs.
file	IRHandleDataFlowSet.hpp [code]
	DataflowSet that consists of a set of IRHandles.
file	LocDFSet.cpp [code]
	DataflowSet that consists of a set of Locations.
file	LocDFSet.hpp [code]
	DataflowSet that consists of a set of Locations.
file	ManagerParamBindings.cpp [code]
	The AnnotationManager that generates ParamBindings.
file	ManagerParamBindings.hpp [code]
	Declarations of the AnnotationManager that determines parameter bindings and generates a ParamBindings object.
file	ParamBindings.cpp [code]
	Implementation of ParamBindings.
file	ParamBindings.hpp [code]
	One-to-one mapping between formal parameter symbols in callee and memory reference handles in caller.
file	ParamBindings_output.cpp [code]
file	StmtDFSet.cpp [code]
file	StmtDFSet.hpp [code]
file	WorkList.hpp [code]
	Declaration of Kildall iterative data flow solver for directed graphs.
file	WorkListPQueue.hpp [code]
	Declaration of Kildall iterative data flow solver for directed graphs.
file	WorkListQueue.hpp [code]
	Declaration of Kildall iterative data flow solver for directed graphs.