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

Constructors

Constructor and Description
PropCycle(PAG pag)

Method Summary

Methods

Modifier and Type	Method and Description
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