soot.jimple.spark.solver
Class OnFlyCallGraph

java.lang.Object
  |
  +--soot.jimple.spark.solver.OnFlyCallGraph

public class OnFlyCallGraph
extends java.lang.Object

The interface between the pointer analysis engine and the on-the-fly call graph builder.


Constructor Summary
OnFlyCallGraph(PAG pag, FastHierarchy fh, Parms parms)
           
 
Method Summary
 void addReachingType(Type type)
           
 boolean addSite(Stmt site)
           
 java.util.Set allReceivers()
           
 void build()
           
 void doneReachingTypes()
           
 void doneStringConstants()
           
 CallGraphBuilder getCallGraph()
           
 void mergedWith(Node n1, Node n2)
          Node uses this to notify PAG that n2 has been merged into n1.
 void newStringConstant(VarNode v, java.lang.String name)
           
 boolean wantReachingTypes(VarNode receiver)
           
 boolean wantStringConstants(VarNode v)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

OnFlyCallGraph

public OnFlyCallGraph(PAG pag,
                      FastHierarchy fh,
                      Parms parms)
Method Detail

getCallGraph

public CallGraphBuilder getCallGraph()

build

public void build()

addSite

public boolean addSite(Stmt site)

wantReachingTypes

public boolean wantReachingTypes(VarNode receiver)

addReachingType

public void addReachingType(Type type)

doneReachingTypes

public void doneReachingTypes()

mergedWith

public void mergedWith(Node n1,
                       Node n2)
Node uses this to notify PAG that n2 has been merged into n1.

allReceivers

public java.util.Set allReceivers()

wantStringConstants

public boolean wantStringConstants(VarNode v)

newStringConstant

public void newStringConstant(VarNode v,
                              java.lang.String name)

doneStringConstants

public void doneStringConstants()