soot.jimple.spark.solver
Class OnFlyCallGraph

java.lang.Object
  soot.jimple.spark.solver.OnFlyCallGraph

public class OnFlyCallGraph
extends Object

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

Author:

Ondrej Lhotak

Constructor Summary

OnFlyCallGraph(PAG pag)

Method Summary

void	build()
CallGraph	callGraph()
void	mergedWith(Node n1, Node n2) Node uses this to notify PAG that n2 has been merged into n1.
OnFlyCallGraphBuilder	ofcgb()
ReachableMethods	reachableMethods()
void	updatedNode(VarNode vn)

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)

Method Detail

reachableMethods

public ReachableMethods reachableMethods()

callGraph

public CallGraph callGraph()

build

public void build()

ofcgb

public OnFlyCallGraphBuilder ofcgb()

updatedNode

public void updatedNode(VarNode vn)

mergedWith

public void mergedWith(Node n1,
                       Node n2)

Node uses this to notify PAG that n2 has been merged into n1.