soot.jimple.spark.solver
Class MergeChecker
java.lang.Object
|
+--soot.jimple.spark.solver.MergeChecker
- public class MergeChecker
- extends java.lang.Object
Checks points-to sets with pointer assignment graph to make sure everything
has been correctly propagated.
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)