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
	OA
	Namespace for the whole OpenAnalysis Toolkit.
	OA::DataFlow

Constant Groups
	OA
	Namespace for the whole OpenAnalysis Toolkit.
	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:

CallGraphDFProblem.hpp,v 1.6 2007/10/08 19:19:11 utke 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.