heros

Interface InterproceduralCFG<N,M>

Type Parameters:

N - Nodes in the CFG, typically Unit or Block

M - Method representation

All Known Subinterfaces:

BiDiInterproceduralCFG<N,M>

All Known Implementing Classes:

AbstractJimpleBasedICFG, BackwardsInterproceduralCFG, JimpleBasedInterproceduralCFG, OnTheFlyJimpleBasedICFG

public interface InterproceduralCFG<N,M>

An interprocedural control-flow graph.

Method Summary

Modifier and Type	Method and Description
java.util.Set<N>	allNonCallStartNodes() Returns the set of all nodes that are neither call nor start nodes.
java.util.Collection<M>	getCalleesOfCallAt(N n) Returns all callee methods for a given call.
java.util.Collection<N>	getCallersOf(M m) Returns all caller statements/nodes of a given method.
java.util.Set<N>	getCallsFromWithin(M m) Returns all call sites within a given method.
M	getMethodOf(N n) Returns the method containing a node.
java.util.List<N>	getPredsOf(N u)
java.util.Collection<N>	getReturnSitesOfCallAt(N n) Returns all statements to which a call could return.
java.util.Collection<N>	getStartPointsOf(M m) Returns all start points of a given method.
java.util.List<N>	getSuccsOf(N n) Returns the successor nodes.
boolean	isBranchTarget(N stmt, N succ) Returns whether succ is a branch target of stmt.
boolean	isCallStmt(N stmt) Returns true if the given statement is a call site.
boolean	isExitStmt(N stmt) Returns true if the given statement leads to a method return (exceptional or not).
boolean	isFallThroughSuccessor(N stmt, N succ) Returns whether succ is the fall-through successor of stmt, i.e., the unique successor that is be reached when stmt does not branch.
boolean	isStartPoint(N stmt) Returns true is this is a method's start statement.

Method Detail

getMethodOf

M getMethodOf(N n)

Returns the method containing a node.

Parameters:

n - The node for which to get the parent method

getPredsOf

java.util.List<N> getPredsOf(N u)

getSuccsOf

java.util.List<N> getSuccsOf(N n)

Returns the successor nodes.

getCalleesOfCallAt

java.util.Collection<M> getCalleesOfCallAt(N n)

Returns all callee methods for a given call.

getCallersOf

java.util.Collection<N> getCallersOf(M m)

Returns all caller statements/nodes of a given method.

getCallsFromWithin

java.util.Set<N> getCallsFromWithin(M m)

Returns all call sites within a given method.

getStartPointsOf

java.util.Collection<N> getStartPointsOf(M m)

Returns all start points of a given method. There may be more than one start point in case of a backward analysis.

getReturnSitesOfCallAt

java.util.Collection<N> getReturnSitesOfCallAt(N n)

Returns all statements to which a call could return. In the RHS paper, for every call there is just one return site. We, however, use as return site the successor statements, of which there can be many in case of exceptional flow.

isCallStmt

boolean isCallStmt(N stmt)

Returns true if the given statement is a call site.

isExitStmt

boolean isExitStmt(N stmt)

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

isStartPoint

boolean isStartPoint(N stmt)

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

allNonCallStartNodes

java.util.Set<N> allNonCallStartNodes()

Returns the set of all nodes that are neither call nor start nodes.

isFallThroughSuccessor

boolean isFallThroughSuccessor(N stmt,
                               N succ)

Returns whether succ is the fall-through successor of stmt, i.e., the unique successor that is be reached when stmt does not branch.

isBranchTarget

boolean isBranchTarget(N stmt,
                       N succ)

Returns whether succ is a branch target of stmt.