Class Summary |
Checker |
Checks points-to sets with pointer assignment graph to make sure everything
has been correctly propagated. |
EBBCollapser |
Collapses nodes that are members of simple trees (EBBs)
in the pointer assignment graph. |
MergeChecker |
Checks points-to sets with pointer assignment graph to make sure everything
has been correctly propagated. |
OnFlyCallGraph |
The interface between the pointer analysis engine and the on-the-fly
call graph builder. |
Propagator |
Abstract base class for a propagator that propagates points-to sets
along pointer assignment graph. |
PropAlias |
Propagates points-to sets along pointer assignment graph using a relevant
aliases. |
PropCycle |
Propagates points-to sets using an on-line cycle detection algorithm
based on Heintze and Tardieu, PLDI 2000. |
PropIter |
Propagates points-to sets along pointer assignment graph using iteration. |
PropMerge |
Propagates points-to sets along pointer assignment graph using a merging
of field reference (Red) nodes to improve scalability. |
PropWorklist |
Propagates points-to sets along pointer assignment graph using a worklist. |
SCCCollapser |
Collapses VarNodes (green) forming strongly-connected components in
the pointer assignment graph. |
TopoSorter |
Performs a pseudo-topological sort on the VarNodes in a PAG. |