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.
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
OnFlyCallGraph
public OnFlyCallGraph(PAG pag,
FastHierarchy fh,
Parms parms)
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()