Package harpoon.Analysis.PointerAnalysis

Interface Summary
PAEdgeSet PAEdgeSet
PANodeVisitor PANodeVisitor is a wrapper for a function that is called on a PANode.
 

Class Summary
AbstrPAEdgeSet AbstrPAEdgeSet
ActionRepository ActionRepository merges together the alpha and pi sets from the original paper of Martin Rinard & John Whaley.
AllocationNumbering AllocationNumbering
ArtificialTempFactory ArtificialTempFactory provides support for the static fields in the context of the Pointer Analysis algorithm of Martin & Whaley.
Debug Debug
EdgeOrdering EdgeOrdering models the ordering relation between the inside and the outside edges belonging to the same analysis scope.
This relation records facts like this: the outside edge eo could have been read after the inside edge ei was created. This information is used in the inter-thread analysis, when outside edges are matched not only against inside edges from the opposite scope but even against inside edges from their own scope.
EdgesNCallees EdgesNCallees models a precedence relation between (inside or outside) edges and call sites skipped by an on demand analysis.
InstrumentAllocs InstrumentAllocs adds counters to each allocation site.
InstrumentSyncOps InstrumentSyncOps instruments synchronization operations for statistics-gathering purposes.
InterProcPA InterProcPA is a "functional" class (i.e.
InterThreadPA InterThreadPA groups together the functions related to the inter-thread analysis.
LightPAEdgeSet LightPAEdgeSet
ListCell ListCell
MAInfo MAInfo
MAInfo.MAInfoOptions Options for the MAInfo processing.
MethodHole MetHolSet contains the information corresponding to method holes in a Parallel Interaction Graph.
MyAP MyAP is my own implementation for the AllocationProperties.
NodeRepository NodeRepository
ODInformation ODInformation contains the pieces of information relative to an on-demand analysis.
ODMAInfo ODMAInfo
ODNodeStatus  
ODParIntGraph ODParIntGraph models a Parallel Interaction Graph data structure.
ODPointerAnalysis ODPointerAnalysis is the main class of the Pointer Analysis package.
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.
PASync PASync models a sync action.
PAThreadMap PAThreadMap implements the parallel thread map (i.e.
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.
PointsToGraph PointsToGraph models the memory, as specified by the abstraction of the object creation sites.
SyncElimination SyncElimination implements synchronization elimination based on the results of pointer analysis.