CFGDFProblem.hpp File Reference

Abstract class for solving dataflow analysis problems on CFGs. More...

#include <OpenAnalysis/Utils/OA_ptr.hpp>
#include <OpenAnalysis/DataFlow/DataFlowSet.hpp>
#include <OpenAnalysis/DataFlow/DGraphSolverDFP.hpp>
#include <OpenAnalysis/CFG/CFGInterface.hpp>
#include <OpenAnalysis/IRInterface/CFGIRInterface.hpp>
#include <map>

Include dependency graph for CFGDFProblem.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	OA::DataFlow::CFGDFProblem
Namespaces
namespace	OA
	Namespace for the whole OpenAnalysis Toolkit.
namespace	OA::DataFlow

---

Detailed Description

Abstract class for solving dataflow analysis problems on CFGs.

Authors:

Michelle Strout (April 2004) similar to John Mellor-Crummey's CallGraphDFProblem.h

Version:

Id

CFGDFProblem.hpp,v 1.17 2005/06/10 02:32:03 mstrout Exp

Copyright (c) 2002-2005, Rice University
Copyright (c) 2004-2005, University of Chicago
Copyright (c) 2006, Contributors
All rights reserved.
See ../../../Copyright.txt for details.

To use this for performing an intra-procedural dataflow analysis problem, privately inherit from the CFGDFProblem class and implement the callbacks.

Modified by Priyadarshini Malusare 07/26/2006

Definition in file CFGDFProblem.hpp.