soot.jimple.spark.solver
Class PropWorklist

java.lang.Object
  |
  +--soot.jimple.spark.solver.Propagator
        |
        +--soot.jimple.spark.solver.PropWorklist

public final class PropWorklist
extends Propagator

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


Field Summary
protected  OnFlyCallGraph ofcg
           
protected  PAG pag
           
protected  java.util.Set varNodeWorkList
           
 
Constructor Summary
PropWorklist(PAG pag)
           
 
Method Summary
protected  boolean handleAllocNode(AllocNode src)
          Propagates new points-to information of node src to all its successors.
protected  void handleFieldRefNode(FieldRefNode src, java.util.HashSet 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 java.util.Set varNodeWorkList

pag

protected PAG pag

ofcg

protected OnFlyCallGraph ofcg
Constructor Detail

PropWorklist

public PropWorklist(PAG pag)
Method Detail

propagate

public final void propagate()
Actually does the propagation.
Overrides:
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.

handleFieldRefNode

protected final void handleFieldRefNode(FieldRefNode src,
                                        java.util.HashSet edgesToPropagate)
Propagates new points-to information of node src to all its successors.