soot.jimple.spark.solver
Class Checker

java.lang.Object
  soot.jimple.spark.solver.Checker

public class Checker
extends Object

Checks points-to sets with pointer assignment graph to make sure everything has been correctly propagated.

Author:

Ondrej Lhotak

Field Summary

protected PAG

pag

Constructor Summary

Checker(PAG pag)

Method Summary

void	check() Actually does the propagation.
protected void	checkAll(Node container, PointsToSetInternal nodes, Node upstream)
protected void	checkNode(Node container, Node n, Node upstream)
protected void	handleAllocNode(AllocNode src)
protected void	handleLoads(FieldRefNode src)
protected void	handleSimples(VarNode src)
protected void	handleStores(VarNode src)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

pag

protected PAG pag

Constructor Detail

Checker

public Checker(PAG pag)

Method Detail

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)