soot.jimple.spark.solver
Class PropMerge
java.lang.Object
|
+--soot.jimple.spark.solver.Propagator
|
+--soot.jimple.spark.solver.PropMerge
- public final class PropMerge
- extends Propagator
Propagates points-to sets along pointer assignment graph using a merging
of field reference (Red) nodes to improve scalability.
Method Summary |
protected boolean |
handleAllocNode(AllocNode src)
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
PropMerge
public PropMerge(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.