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

Packages that use Propagator

soot.jimple.spark.solver

Uses of Propagator in soot.jimple.spark.solver

Subclasses of Propagator in soot.jimple.spark.solver

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.