ManagerInsNoPtrInterAliasMap.hpp File Reference

Declarations of the AnnotationManager that generates an InterAliasMap in a context and flow insensitive way and handles pointers conservatively. More...

#include <cassert>
#include <OpenAnalysis/Alias/InterAliasMap.hpp>
#include <OpenAnalysis/IRInterface/AliasIRInterface.hpp>
#include <OpenAnalysis/DataFlow/CallGraphDFProblemNew.hpp>
#include <OpenAnalysis/DataFlow/ParamBindings.hpp>
#include <OpenAnalysis/Alias/SymAliasSets.hpp>
#include <OpenAnalysis/Alias/ManagerSymAliasSetsTop.hpp>
#include <OpenAnalysis/Alias/ManagerSymAliasSetsBottom.hpp>

Include dependency graph for ManagerInsNoPtrInterAliasMap.hpp:

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

Go to the source code of this file.

Classes
class	OA::Alias::ManagerInsNoPtrInterAliasMap
Namespaces
namespace	OA
	Namespace for the whole OpenAnalysis Toolkit.
namespace	OA::Alias
	Namespace for all Alias Analysis interfaces and implementations.

---

Detailed Description

Declarations of the AnnotationManager that generates an InterAliasMap in a context and flow insensitive way and handles pointers conservatively.

NOTE: deprecated!! No longer being compiled. 6/2/06, Removed ManagerInsNoPtrInterAliasMap because it is no longer valid. It used the CallGraph data-flow analysis framework and dependended on the isRefParam() call, which has been deprecated.

Authors:

Michelle Strout

Version:

Id

ManagerInsNoPtrInterAliasMap.hpp,v 1.2 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.

Any memory reference involving a dereference is just mapped to the UnknownLoc.

Definition in file ManagerInsNoPtrInterAliasMap.hpp.