Package soot.jimple.spark.solver

Spark solver (pointer assignment graph simplification and propagation)

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.
 

Package soot.jimple.spark.solver Description

Spark solver (pointer assignment graph simplification and propagation)