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

Field Summary

Fields

Modifier and Type	Field and Description
protected QueueReader<Edge>	callEdges
protected CallGraph	callGraph
protected OnFlyCallGraphBuilder	ofcgb
protected ReachableMethods	reachableMethods
protected QueueReader<MethodOrMethodContext>	reachablesReader

Constructor Summary

Constructors

Constructor and Description
OnFlyCallGraph(PAG pag, boolean appOnly)

Method Summary

Modifier and Type	Method and Description
void	build()
CallGraph	callGraph()
protected OnFlyCallGraphBuilder	createOnFlyCallGraphBuilder(ContextManager cm, ReachableMethods reachableMethods, boolean appOnly) Factory method for creating a new on-fly callgraph builder.
void	mergedWith(Node n1, Node n2) Node uses this to notify PAG that n2 has been merged into n1.
OnFlyCallGraphBuilder	ofcgb()
ReachableMethods	reachableMethods()
void	updatedFieldRef(AllocDotField df, PointsToSetInternal ptsi)
void	updatedNode(VarNode vn)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

ofcgb

protected final OnFlyCallGraphBuilder ofcgb

reachableMethods

protected final ReachableMethods reachableMethods

reachablesReader

protected final QueueReader<MethodOrMethodContext> reachablesReader

callEdges

protected final QueueReader<Edge> callEdges

callGraph

protected final CallGraph callGraph

Constructor Detail

OnFlyCallGraph

public OnFlyCallGraph(PAG pag,
                      boolean appOnly)

Method Detail

reachableMethods

public ReachableMethods reachableMethods()

callGraph

public CallGraph callGraph()

createOnFlyCallGraphBuilder

protected OnFlyCallGraphBuilder createOnFlyCallGraphBuilder(ContextManager cm,
                                                            ReachableMethods reachableMethods,
                                                            boolean appOnly)

Factory method for creating a new on-fly callgraph builder. Custom implementations can override this method for injecting own callgraph builders without having to modify Soot.

Parameters:

cm - The context manager

reachableMethods - The reachable method set

appOnly - True to only consider application code

Returns:

The new on-fly callgraph builder

build

public void build()

ofcgb

public OnFlyCallGraphBuilder ofcgb()

updatedFieldRef

public void updatedFieldRef(AllocDotField df,
                            PointsToSetInternal ptsi)

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.