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.

Author:

Ondrej Lhotak

Field Summary

Fields

Modifier and Type	Field and Description
protected MultiMap<SparkField,VarNode>	fieldToBase
protected PAG	pag

Constructor Summary

Constructors

Constructor and Description
MergeChecker(PAG pag)

Method Summary

Methods

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

fieldToBase

protected MultiMap<SparkField,VarNode> fieldToBase

Constructor Detail

MergeChecker

public MergeChecker(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)