soot.jimple.spark.solver
Class BDDPropagator

java.lang.Object
  extended bysoot.jimple.spark.solver.Propagator
      extended bysoot.jimple.spark.solver.BDDPropagator

public final class BDDPropagator
extends Propagator

Propagates points-to sets along pointer assignment graph using BDDs.

Author:
Ondrej Lhotak

Field Summary
protected  OnFlyCallGraph ofcg
           
protected  BDDPAG pag
           
 
Constructor Summary
BDDPropagator(BDDPAG pag)
           
 
Method Summary
 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

pag

protected BDDPAG pag

ofcg

protected OnFlyCallGraph ofcg
Constructor Detail

BDDPropagator

public BDDPropagator(BDDPAG pag)
Method Detail

propagate

public final void propagate()
Actually does the propagation.

Specified by:
propagate in class Propagator