soot.jimple.spark.solver
Class Propagator

java.lang.Object
  soot.jimple.spark.solver.Propagator

Direct Known Subclasses:

PropAlias, PropCycle, PropIter, PropMerge, PropWorklist

public abstract class Propagator
extends Object

Abstract base class for a propagator that propagates points-to sets along pointer assignment graph.

Author:

Ondrej Lhotak

Constructor Summary

Propagator()

Method Summary

abstract void

propagate() Actually does the propagation.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Propagator

public Propagator()

Method Detail

propagate

public abstract void propagate()

Actually does the propagation.