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.
- Author:
- Ondrej Lhotak
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 Set<Node> varNodeWorkList
pag
protected PAG pag
PropMerge
public PropMerge(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.
handleVarNode
protected final boolean handleVarNode(VarNode src)
- Propagates new points-to information of node src to all its
successors.