soot.jimple.toolkits.ide.icfg

Interface BiDiInterproceduralCFG<N,M>

All Superinterfaces:

heros.InterproceduralCFG<N,M>

All Known Implementing Classes:

AbstractJimpleBasedICFG, BackwardsInterproceduralCFG, JimpleBasedInterproceduralCFG, OnTheFlyJimpleBasedICFG

public interface BiDiInterproceduralCFG<N,M>
extends heros.InterproceduralCFG<N,M>

An InterproceduralCFG which supports the computation of predecessors.

Method Summary

Modifier and Type	Method and Description
Set<N>	allNonCallEndNodes()
Collection<N>	getEndPointsOf(M m)
DirectedGraph<N>	getOrCreateUnitGraph(M body)
List<Value>	getParameterRefs(M m)
List<N>	getPredsOf(N u)
List<N>	getPredsOfCallAt(N u)
boolean	isReachable(N u) Checks whether the given statement is rachable from the entry point
boolean	isReturnSite(N n) Gets whether the given statement is a return site of at least one call

Methods inherited from interface heros.InterproceduralCFG

allNonCallStartNodes, getCalleesOfCallAt, getCallersOf, getCallsFromWithin, getMethodOf, getReturnSitesOfCallAt, getStartPointsOf, getSuccsOf, isBranchTarget, isCallStmt, isExitStmt, isFallThroughSuccessor, isStartPoint

Method Detail

getPredsOf

List<N> getPredsOf(N u)

Specified by:

getPredsOf in interface heros.InterproceduralCFG<N,M>

getEndPointsOf

Collection<N> getEndPointsOf(M m)

getPredsOfCallAt

List<N> getPredsOfCallAt(N u)

allNonCallEndNodes

Set<N> allNonCallEndNodes()

getOrCreateUnitGraph

DirectedGraph<N> getOrCreateUnitGraph(M body)

getParameterRefs

List<Value> getParameterRefs(M m)

isReturnSite

boolean isReturnSite(N n)

Gets whether the given statement is a return site of at least one call

Parameters:

n - The statement to check

Returns:

True if the given statement is a return site, otherwise false

isReachable

boolean isReachable(N u)

Checks whether the given statement is rachable from the entry point

Parameters:

u - The statement to check

Returns:

True if there is a control flow path from the entry point of the program to the given statement, otherwise false