|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
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 | Performs a pseudo-topological sort on the VarNodes in a PAG. |
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. |
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 |