public interface BiDiInterproceduralCFG<N,M>
extends heros.InterproceduralCFG<N,M>
InterproceduralCFG
which supports the computation of predecessors.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
|
Collection<N> getEndPointsOf(M m)
DirectedGraph<N> getOrCreateUnitGraph(M body)
boolean isReturnSite(N n)
n
- The statement to checkboolean isReachable(N u)
u
- The statement to check