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