Package boomerang.callgraph

Class ObservableStaticICFG

java.lang.Object

boomerang.callgraph.ObservableStaticICFG

All Implemented Interfaces:

ObservableICFG<Statement,Method>

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

An interprocedural control-flow graph, for which caller-callee edges can be observed using CalleeListener and CallerListener. This call graph wraps a precomputed call graph and notifies listeners about all interprocedual edges for the requested relation at once.

Author:

Melanie Bruns on 04.05.2018

Constructor Summary

Constructors

Constructor	Description
ObservableStaticICFG(CallGraph icfg)

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.
void	addEdges(CallGraph.Edge e)
void	computeFallback()
Collection<Statement>	getEndPointsOf(Method m)
int	getNumberOfEdgesTakenFromPrecomputedGraph()	Returns negative number to signify all edges are precomputed.
Collection<Statement>	getStartPointsOf(Method m)
boolean	isCallStmt(Statement stmt)	Returns true if the given statement is a call site.
boolean	isExitStmt(Statement stmt)	Returns true if the given statement leads to a method return (exceptional or not).
boolean	isStartPoint(Statement stmt)	Returns true is this is a method's start statement.
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

ObservableStaticICFG

public ObservableStaticICFG(CallGraph icfg)

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>

getStartPointsOf

public Collection<Statement> getStartPointsOf(Method m)

Specified by:

getStartPointsOf in interface ObservableICFG<Statement,Method>

isCallStmt

public boolean isCallStmt(Statement stmt)

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 stmt)

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 stmt)

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>

getEndPointsOf

public Collection<Statement> getEndPointsOf(Method m)

Specified by:

getEndPointsOf in interface ObservableICFG<Statement,Method>

getNumberOfEdgesTakenFromPrecomputedGraph

public int getNumberOfEdgesTakenFromPrecomputedGraph()

Returns negative number to signify all edges are precomputed. CallGraphDebugger will add the actual number in.

Specified by:

getNumberOfEdgesTakenFromPrecomputedGraph in interface ObservableICFG<Statement,Method>

Returns:

-1 as all edges are precomputed, but we don't have access to the actual number

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>