Alias Directory Reference

Files
file	AliasMap.cpp [code]
	Implementation of Alias::AliasMap.
file	AliasMap.hpp [code]
	Maps MemRefHandle's to a particular alias map set.
file	AliasMap_output.cpp [code]
file	AliasTag.hpp [code]
	Declarations for the Alias Tag class.
file	AliasTagInterface.hpp [code]
	Declarations for the abstract Alias interface.
file	EquivSets.cpp [code]
	Implementation of Alias::EquivSets.
file	EquivSets.hpp [code]
	Maps memory references into non-overlapping equivalence classes.
file	EquivSets_output.cpp [code]
file	InterAliasInterface.hpp [code]
	Declarations for the abstract interface interprocedural Alias results.
file	InterAliasMap.hpp [code]
	Declarations for the AliasMap implementation of interprocedural Alias results.
file	Alias/Interface.hpp [code]
	Declarations for the abstract Alias interface.
file	ManagerAliasMapBasic.cpp [code]
	The AnnotationManager that generates AliasMaps by giving each local variable its own number and virtual location and mapping everyone else to unknown.
file	ManagerAliasMapBasic.hpp [code]
	Declarations of the AnnotationManager that generates an AliasMap for a given procedure.
file	ManagerFIAlias.cpp [code]
	The AnnotationManager that generates union-find sets of MREs, where each MRE in the set may alias other MREs in the set.
file	ManagerFIAlias.hpp [code]
	Declarations of the AnnotationManager that implements FIAlias.
file	ManagerFIAliasAliasMap.cpp [code]
	The AnnotationManager that generates AliasMaps in a context and flow insensitive way.
file	ManagerFIAliasAliasMap.hpp [code]
	Declarations of the AnnotationManager that generates AliasMaps.
file	ManagerFIAliasEquivSets.cpp [code]
	The AnnotationManager that generates EquivSets in a context and flow insensitive way.
file	ManagerFIAliasEquivSets.hpp [code]
	Declarations of the AnnotationManager that generates an EquivSets.
file	ManagerInsNoPtrInterAliasMap.cpp [code]
	The AnnotationManager that generates InterAliasMaps in a context and flow insensitive way and handles pointers conservatively.
file	ManagerInsNoPtrInterAliasMap.hpp [code]
	Declarations of the AnnotationManager that generates an InterAliasMap in a context and flow insensitive way and handles pointers conservatively.
file	ManagerInterAliasMapBasic.cpp [code]
	The AnnotationManager that generates InterAliasMaps.
file	ManagerInterAliasMapBasic.hpp [code]
	Declarations of the AnnotationManager that generates an InterAliasMap.
file	ManagerNoAddressOf.cpp [code]
	The AnnotationManager that generates EquivSets by putting all local varials that don't have their address taken into their own equivalence set and by putting all other memory references into one equivalence set.
file	ManagerNoAddressOf.hpp [code]
	Declarations of the AnnotationManager that generates an EquivSets.
file	ManagerSymAliasSetsBottom.cpp [code]
	The AnnotationManager that generates SymAliasSets bottom.
file	ManagerSymAliasSetsBottom.hpp [code]
	Declarations of the AnnotationManager that generates an SymAliasSets that is pessimistic, all non-local and reference param symbols are in the same set.
file	ManagerSymAliasSetsTop.cpp [code]
	The AnnotationManager that generates SymAliasSets top.
file	ManagerSymAliasSetsTop.hpp [code]
	Declarations of the AnnotationManager that generates an SymAliasSet that is optimistic, each non-local and reference param is in its own set.
file	NotationGenerator.cpp [code]
	Generate a notation file from an interface.
file	NotationGenerator.hpp [code]
	Generate a notation file from an interface.
file	SymAliasSets.cpp [code]
	Implementation of SymAliasSets and helper class.
file	SymAliasSets.hpp [code]
	Declarations for the SymAliasSets which maps formal and global symbols to sets. If two symbols map to the same set then they may alias each other.