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.
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.
- Overrides:
- 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)