MCPcopy Create free account
hub / github.com/LFYSec/MScan / isExit

Method isExit

src/main/java/pascal/taie/analysis/graph/cfg/CFG.java:66–66  ·  view source on GitHub ↗

@return true if the given node is the exit of this CFG, otherwise false.

(N node)

Source from the content-addressed store, hash-verified

64 * @return true if the given node is the exit of this CFG, otherwise false.
65 */
66 boolean isExit(N node);
67
68 /**
69 * @return a unique index for given node in this CFG.

Callers 5

initializeBackwardMethod · 0.65
doSolveBackwardMethod · 0.65
initializeBackwardMethod · 0.65
getIndexMethod · 0.65
toLabelMethod · 0.65

Calls

no outgoing calls

Tested by

no test coverage detected