|
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. |