Package harpoon.Analysis.PointerAnalysis

Interface Summary

PAEdgeSet	PAEdgeSet
PANodeVisitor	PANodeVisitor is a wrapper for a function that is called on a PANode.
Relation	Relation is a mathematical relation, accepting one to many and many to one mappings.
RelationEntryVisitor	RelationEntryVisitor is a wrapper for a function that is called on a relation entry of the form <key,value>.

Class Summary

AbstrPAEdgeSet	AbstrPAEdgeSet
AbstrRelation	AbstrRelation
AbstrRelationMapBased	AbstrRelationMapBased
ActionRepository	ActionRepository merges together the alpha and pi sets from the original paper of Martin Rinard & John Whaley.
AllocSyncOptCompStage	AllocSyncOptCompStage
ComputeInterProcMuClosure	ComputeMuClosure is a [functional-programming style] closure for the computeInterProcMu method.
Debug	Debug
EdgeOrdering	EdgeOrdering models the ordering relation between the inside and the outside edges belonging to the same analysis scope.
InstrumentSyncOps	InstrumentSyncOps instruments synchronization operations for statistics-gathering purposes.
InterProcPA	InterProcPA is a "functional" class (i.e. it contains just some methods, no persistent data) that wraps the inter-procedural part of the pointer analysis.
InterThreadPA	InterThreadPA groups together the functions related to the inter-thread analysis.
LightMap<K,V>	LightMap is a very lightweight implementation of the java.util.Map interface.
LightPAEdgeSet	LightPAEdgeSet
LightRelation	LightRelation
ListCell	ListCell
MAInfo	MAInfo
MAInfo.MAInfoOptions	Options for the MAInfo processing.
MyAP	MyAP is my own implementation for the AllocationProperties.
NodeRepository	NodeRepository
PAEdge	PAEdge
PAEscapeFunc	PAEscapeFunc models the escape information.
PANode	PANode class models a node for the Pointer Analysis algorithm.
ParIntGraph	ParIntGraph models a Parallel Interaction Graph data structure.
PARTJSupportCompStage	PARTJSupportCompStage
PASync	PASync models a sync action.
PAThreadMap	PAThreadMap implements the parallel thread map (i.e. the "tau" function from the algorithm).
PAWorkList	PAWorkList
PAWorkSet	The PAWorkset class tries to formalize the concept of a workset used in many dataflow analysis.
PAWorkStack	PAWorkStack
PointerAnalysis	PointerAnalysis is the main class of the Pointer Analysis package.
PointerAnalysisCompStage	PointerAnalysisCompStage
PointsToGraph	PointsToGraph models the memory, as specified by the abstraction of the object creation sites.
RelationImpl	RelationImpl is a heavy-weight implementation of the Relation interface: it is basically a Hashtable from keys to HashSet's of values.