|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Class Summary | |
| BDDPropagator | Propagates points-to sets along pointer assignment graph using BDDs. |
| 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. |
Spark solver (pointer assignment graph simplification and propagation)
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||