Package boomerang.callgraph

Class ObservableDynamicICFG

java.lang.Object

boomerang.callgraph.ObservableDynamicICFG

All Implemented Interfaces:

ObservableICFG<Statement,Method>

public class ObservableDynamicICFG
extends Object
implements ObservableICFG<Statement,Method>

An interprocedural control-flow graph, for which caller-callee edges can be observed using CalleeListener and CallerListener. Used for demand-driven call graph generation.

Starts with an graph only containing intraprocedual edges and uses a precomputed call graph to derive callers.

Author:

Melanie Bruns on 04.05.2018

Constructor Summary

Constructors

Constructor	Description
ObservableDynamicICFG(ObservableControlFlowGraph cfg, ICallerCalleeResolutionStrategy resolutionStrategy)

Method Summary

Modifier and Type	Method	Description
void	addCalleeListener(CalleeListener<Statement,Method> listener)	Registers a listener that will be notified whenever a callee is added
void	addCallerListener(CallerListener<Statement,Method> listener)	Registers a listener that will be notified whenever a caller is added.
protected boolean	addCallIfNotInGraph(Statement caller, Method callee)	Returns true if the call was added to the call graph, false if it was already present and the call graph did not change
void	addEdges(CallGraph.Edge e)
void	computeFallback()
Collection<Statement>	getEndPointsOf(Method m)
int	getNumberOfEdgesTakenFromPrecomputedGraph()
Collection<Statement>	getStartPointsOf(Method m)
boolean	isCallStmt(Statement unit)	Returns true if the given statement is a call site.
boolean	isExitStmt(Statement unit)	Returns true if the given statement leads to a method return (exceptional or not).
boolean	isStartPoint(Statement unit)	Returns true is this is a method's start statement.
protected void	notifyNoCalleeFound(Statement s)
void	resetCallGraph()	Resets the call graph.

Methods inherited from class java.lang.Object

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

Constructor Detail

ObservableDynamicICFG

public ObservableDynamicICFG(ObservableControlFlowGraph cfg,
                             ICallerCalleeResolutionStrategy resolutionStrategy)

Method Detail

addCalleeListener

public void addCalleeListener(CalleeListener<Statement,Method> listener)

Description copied from interface: ObservableICFG

Registers a listener that will be notified whenever a callee is added

Specified by:

addCalleeListener in interface ObservableICFG<Statement,Method>

addCallerListener

public void addCallerListener(CallerListener<Statement,Method> listener)

Description copied from interface: ObservableICFG

Registers a listener that will be notified whenever a caller is added.

Specified by:

addCallerListener in interface ObservableICFG<Statement,Method>

addCallIfNotInGraph

protected boolean addCallIfNotInGraph(Statement caller,
                                      Method callee)

Returns true if the call was added to the call graph, false if it was already present and the call graph did not change

notifyNoCalleeFound

protected void notifyNoCalleeFound(Statement s)

isCallStmt

public boolean isCallStmt(Statement unit)

Description copied from interface: ObservableICFG

Returns true if the given statement is a call site.

Specified by:

isCallStmt in interface ObservableICFG<Statement,Method>

isExitStmt

public boolean isExitStmt(Statement unit)

Description copied from interface: ObservableICFG

Returns true if the given statement leads to a method return (exceptional or not). For backward analyses may also be start statements.

Specified by:

isExitStmt in interface ObservableICFG<Statement,Method>

isStartPoint

public boolean isStartPoint(Statement unit)

Description copied from interface: ObservableICFG

Returns true is this is a method's start statement. For backward analyses those may also be return or throws statements.

Specified by:

isStartPoint in interface ObservableICFG<Statement,Method>

getStartPointsOf

public Collection<Statement> getStartPointsOf(Method m)

Specified by:

getStartPointsOf in interface ObservableICFG<Statement,Method>

getEndPointsOf

public Collection<Statement> getEndPointsOf(Method m)

Specified by:

getEndPointsOf in interface ObservableICFG<Statement,Method>

getNumberOfEdgesTakenFromPrecomputedGraph

public int getNumberOfEdgesTakenFromPrecomputedGraph()

Specified by:

getNumberOfEdgesTakenFromPrecomputedGraph in interface ObservableICFG<Statement,Method>

resetCallGraph

public void resetCallGraph()

Description copied from interface: ObservableICFG

Resets the call graph. Only affects the call graph if it was built demand-driven, otherwise graph will remain unchanged. Demand-driven call graph will keep intraprocedual information, but reset start with an empty call graph again.

Specified by:

resetCallGraph in interface ObservableICFG<Statement,Method>

computeFallback

public void computeFallback()

Specified by:

computeFallback in interface ObservableICFG<Statement,Method>

addEdges

public void addEdges(CallGraph.Edge e)

Specified by:

addEdges in interface ObservableICFG<Statement,Method>