| soot.jimple.spark.solver |
|
| Java Source File Name | Type | Comment |
| Checker.java | Class | Checks points-to sets with pointer assignment graph to make sure everything
has been correctly propagated. |
| EBBCollapser.java | Class | Collapses nodes that are members of simple trees (EBBs)
in the pointer assignment graph. |
| MergeChecker.java | Class | Checks points-to sets with pointer assignment graph to make sure everything
has been correctly propagated. |
| OnFlyCallGraph.java | Class | The interface between the pointer analysis engine and the on-the-fly
call graph builder. |
| Propagator.java | Class | Abstract base class for a propagator that propagates points-to sets
along pointer assignment graph. |
| PropAlias.java | Class | Propagates points-to sets along pointer assignment graph using a relevant
aliases. |
| PropCycle.java | Class | Propagates points-to sets using an on-line cycle detection algorithm
based on Heintze and Tardieu, PLDI 2000. |
| PropIter.java | Class | Propagates points-to sets along pointer assignment graph using iteration. |
| PropMerge.java | Class | Propagates points-to sets along pointer assignment graph using a merging
of field reference (Red) nodes to improve scalability. |
| PropWorklist.java | Class | Propagates points-to sets along pointer assignment graph using a worklist. |
| SCCCollapser.java | Class | Collapses VarNodes (green) forming strongly-connected components in
the pointer assignment graph. |
| TopoSorter.java | Class | Performs a pseudo-topological sort on the VarNodes in a PAG. |