|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |