soot.jimple.spark.solver
Class PropIter
java.lang.Object
soot.jimple.spark.solver.Propagator
soot.jimple.spark.solver.PropIter
public final class PropIter
- extends Propagator
Propagates points-to sets along pointer assignment graph using iteration.
- Author:
- Ondrej Lhotak
Field Summary |
protected PAG |
pag
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
pag
protected PAG pag
PropIter
public PropIter(PAG pag)
propagate
public final void propagate()
- Actually does the propagation.
- Specified by:
propagate
in class Propagator
handleAllocNode
protected final boolean handleAllocNode(AllocNode src)
- Propagates new points-to information of node src to all its
successors.
handleSimples
protected final boolean handleSimples(VarNode src)
handleStores
protected final boolean handleStores(VarNode src)
handleLoads
protected final boolean handleLoads(FieldRefNode src)