soot.jimple.spark.solver

Class PropMerge

java.lang.Object

soot.jimple.spark.solver.Propagator

soot.jimple.spark.solver.PropMerge

public final class PropMerge
extends Propagator

Propagates points-to sets along pointer assignment graph using a merging of field reference (Red) nodes to improve scalability.

Field Summary

Fields

Modifier and Type	Field and Description
protected PAG	pag
protected java.util.Set<Node>	varNodeWorkList

Constructor Summary

Constructors

Constructor and Description
PropMerge(PAG pag)

Method Summary

Modifier and Type	Method and Description
protected boolean	handleAllocNode(AllocNode src) Propagates new points-to information of node src to all its successors.
protected boolean	handleVarNode(VarNode src) Propagates new points-to information of node src to all its successors.
void	propagate() Actually does the propagation.

Methods inherited from class java.lang.Object

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

Field Detail

varNodeWorkList

protected final java.util.Set<Node> varNodeWorkList

pag

protected PAG pag

Constructor Detail

PropMerge

public PropMerge(PAG pag)

Method Detail

propagate

public final void propagate()

Actually does the propagation.

Specified by:

propagate in class Propagator

handleAllocNode

protected final boolean handleAllocNode(AllocNode src)

Propagates new points-to information of node src to all its successors.

handleVarNode

protected final boolean handleVarNode(VarNode src)

Propagates new points-to information of node src to all its successors.