Uses of Class
soot.jimple.spark.solver.Propagator

Packages that use Propagator

Package	Description
soot.jimple.spark.solver

Uses of Propagator in soot.jimple.spark.solver

Subclasses of Propagator in soot.jimple.spark.solver

Modifier and Type	Class and Description
class	PropAlias Propagates points-to sets along pointer assignment graph using a relevant aliases.
class	PropCycle Propagates points-to sets using an on-line cycle detection algorithm based on Heintze and Tardieu, PLDI 2000.
class	PropIter Propagates points-to sets along pointer assignment graph using iteration.
class	PropMerge Propagates points-to sets along pointer assignment graph using a merging of field reference (Red) nodes to improve scalability.
class	PropWorklist Propagates points-to sets along pointer assignment graph using a worklist.