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
protected  PAG pag
           
protected  java.util.Set varNodeWorkList
           
 
Constructor Summary
PropMerge(PAG pag)
           
 
Method Summary
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 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.