soot.jimple.spark.solver
Class MergeChecker
java.lang.Object
soot.jimple.spark.solver.MergeChecker
public class MergeChecker
- extends Object
Checks points-to sets with pointer assignment graph to make sure everything
has been correctly propagated.
- Author:
- Ondrej Lhotak
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
pag
protected PAG pag
fieldToBase
protected MultiMap fieldToBase
MergeChecker
public MergeChecker(PAG pag)
check
public void check()
- Actually does the propagation.
checkAll
protected void checkAll(Node container,
PointsToSetInternal nodes,
Node upstream)
checkNode
protected void checkNode(Node container,
Node n,
Node upstream)
handleAllocNode
protected void handleAllocNode(AllocNode src)
handleSimples
protected void handleSimples(VarNode src)
handleStores
protected void handleStores(VarNode src)
handleLoads
protected void handleLoads(FieldRefNode src)