soot.jimple.spark.solver
Class PropCycle

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

public final class PropCycle
extends Propagator

Propagates points-to sets using an on-line cycle detection algorithm based on Heintze and Tardieu, PLDI 2000.

Author:

Ondrej Lhotak

Constructor Summary

PropCycle(PAG pag)

Method Summary

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

PropCycle

public PropCycle(PAG pag)

Method Detail

propagate

public final void propagate()

Actually does the propagation.

Specified by:

propagate in class Propagator