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.

Author:

Ondrej Lhotak

Constructor Summary

Constructors

Constructor and Description
OnFlyCallGraph(PAG pag)

Method Summary

Methods

Modifier and Type	Method and Description
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.