soot.jimple.toolkits.ide.icfg

Interface BiDiInterproceduralCFG<N,M>

All Superinterfaces:

InterproceduralCFG<N,M>

All Known Implementing Classes:

AbstractJimpleBasedICFG, BackwardsInterproceduralCFG, JimpleBasedInterproceduralCFG, OnTheFlyJimpleBasedICFG

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

An InterproceduralCFG which supports the computation of predecessors.

Method Summary

Modifier and Type	Method and Description
java.util.Set<N>	allNonCallEndNodes()
java.util.Collection<N>	getEndPointsOf(M m)
DirectedGraph<N>	getOrCreateUnitGraph(M body)
java.util.List<Value>	getParameterRefs(M m)
java.util.List<N>	getPredsOf(N u)
java.util.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

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

Specified by:

getPredsOf in interface InterproceduralCFG<N,M>

getEndPointsOf

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

getPredsOfCallAt

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

allNonCallEndNodes

java.util.Set<N> allNonCallEndNodes()

getOrCreateUnitGraph

DirectedGraph<N> getOrCreateUnitGraph(M body)

getParameterRefs

java.util.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