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