Package 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

Fields

Modifier and Type	Field	Description
protected PAG	pag

Constructor Summary

Constructors

Constructor	Description
Checker(PAG pag)

Method Summary

Modifier and Type	Method	Description
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)