CFGDFSolver.cpp File Reference

Definition of a dataflow algorithm for CFGs. More...

#include "CFGDFSolver.hpp"
#include <Utils/Util.hpp>

Include dependency graph for CFGDFSolver.cpp:

Go to the source code of this file.

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

---

Detailed Description

Definition of a dataflow algorithm for CFGs.

Authors:

Michelle Strout (April 2004) adapted from John Mellor-Crummey's dsystem CallGraphDFProblem

Version:

Id

CFGDFSolver.cpp,v 1.24 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.

Added by Priyadarshini Malusare 07/26/06

Definition in file CFGDFSolver.cpp.