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