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