Package soot.jimple.spark.solver

Class Summary

Class	Description
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.