soot.jimple.spark.solver
Class PropWorklist
java.lang.Object
|
+--soot.jimple.spark.solver.Propagator
|
+--soot.jimple.spark.solver.PropWorklist
- public final class PropWorklist
- extends Propagator
Propagates points-to sets along pointer assignment graph using a worklist.
Method Summary |
protected boolean |
handleAllocNode(AllocNode src)
Propagates new points-to information of node src to all its
successors. |
protected void |
handleFieldRefNode(FieldRefNode src,
java.util.HashSet edgesToPropagate)
Propagates new points-to information of node src to all its
successors. |
protected boolean |
handleVarNode(VarNode src)
Propagates new points-to information of node src to all its
successors. |
void |
propagate()
Actually does the propagation. |
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
varNodeWorkList
protected final java.util.Set varNodeWorkList
pag
protected PAG pag
ofcg
protected OnFlyCallGraph ofcg
PropWorklist
public PropWorklist(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.
handleVarNode
protected final boolean handleVarNode(VarNode src)
- Propagates new points-to information of node src to all its
successors.
handleFieldRefNode
protected final void handleFieldRefNode(FieldRefNode src,
java.util.HashSet edgesToPropagate)
- Propagates new points-to information of node src to all its
successors.