CallGraphDFProblem.hpp File Reference

Class for solving dataflow analysis problems on CallGraphs in a flow and context insensitive fashion. More...

#include <OpenAnalysis/Utils/OA_ptr.hpp>
#include <OpenAnalysis/DataFlow/DataFlowSet.hpp>
#include <OpenAnalysis/CallGraph/CallGraphInterface.hpp>

Include dependency graph for CallGraphDFProblem.hpp:

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

Go to the source code of this file.

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

---

Detailed Description

Class for solving dataflow analysis problems on CallGraphs in a flow and context insensitive fashion.

Authors:

Michelle Strout (Jan 2005) similar to John Mellor-Crummey's CallGraphFlowInsensitiveDFProblem.h

Version:

Id

CallGraphDFProblemNew.hpp,v 1.3 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 interprocedural dataflow analysis, privately inherit from the CallGraphDFProblemNew class and implement the callbacks. It is flow insensitive because for top down analyses it uses the analysis results for the whole caller at each of the caller's callsites. It is context-insensitive because it meets all the data flow information for callers when working top-down and callees when working bottom-up.

Definition in file CallGraphDFProblem.hpp.