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