Package soot.jimple.spark.solver

Class PropWorklist

java.lang.Object

soot.jimple.spark.solver.Propagator

soot.jimple.spark.solver.PropWorklist

public class PropWorklist
extends Propagator

Propagates points-to sets along pointer assignment graph using a worklist.

Author:

Ondrej Lhotak

Field Summary

Fields

Modifier and Type	Field	Description
protected OnFlyCallGraph	ofcg
protected PAG	pag
protected TreeSet<VarNode>	varNodeWorkList

Constructor Summary

Constructors

Constructor	Description
PropWorklist(PAG pag)

Method Summary

Modifier and Type	Method	Description
protected boolean	handleAllocNode(AllocNode src)	Propagates new points-to information of node src to all its successors.
protected void	handleFieldRefNode(FieldRefNode src, HashSet<Object[]> edgesToPropagate)	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 TreeSet<VarNode> varNodeWorkList

pag

protected PAG pag

ofcg

protected OnFlyCallGraph ofcg

Constructor Detail

PropWorklist

public PropWorklist(PAG pag)

Method Detail

propagate

public void propagate()

Actually does the propagation.

Specified by:

propagate in class Propagator

handleAllocNode

protected boolean handleAllocNode(AllocNode src)

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

handleVarNode

protected boolean handleVarNode(VarNode src)

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

handleFieldRefNode

protected final void handleFieldRefNode(FieldRefNode src,
                                        HashSet<Object[]> edgesToPropagate)

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