ManagerICFGReachConsts.hpp File Reference

Declarations of an AnnotationManager that generates an InterReachConsts using the ICFGDFSolver. More...

#include <cassert>
#include <OpenAnalysis/Alias/InterAliasInterface.hpp>
#include <OpenAnalysis/SideEffect/InterSideEffectInterface.hpp>
#include <OpenAnalysis/IRInterface/ReachConstsIRInterface.hpp>
#include <OpenAnalysis/DataFlow/ICFGDFProblem.hpp>
#include <OpenAnalysis/DataFlow/ICFGDFSolver.hpp>
#include <OpenAnalysis/DataFlow/IRHandleDataFlowSet.hpp>
#include <OpenAnalysis/DataFlow/ParamBindings.hpp>
#include <OpenAnalysis/IRInterface/ConstValBasicInterface.hpp>
#include <OpenAnalysis/ExprTree/EvalToConstVisitor.hpp>
#include <OpenAnalysis/ExprTree/EvalToMemRefVisitor.hpp>
#include <OpenAnalysis/DataFlow/CalleeToCallerVisitor.hpp>
#include <OpenAnalysis/ReachConsts/InterReachConsts.hpp>

Include dependency graph for ManagerICFGReachConsts.hpp:

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

Go to the source code of this file.

Classes
class	OA::ReachConsts::ManagerICFGReachConsts
Namespaces
namespace	OA
	Namespace for the whole OpenAnalysis Toolkit.
namespace	OA::ReachConsts

---

Detailed Description

Declarations of an AnnotationManager that generates an InterReachConsts using the ICFGDFSolver.

Authors:

Michelle Strout

Version:

Id

ManagerICFGReachConsts.hpp,v 1.1.2.1 2006/02/10 07:57:31 mstrout Exp

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

Definition in file ManagerICFGReachConsts.hpp.