Module Cached

Import path

import semmle.code.cpp.controlflow.internal.ConstantExprs

Predicates

aborting	A call to a function known not to return.
abortingFunction	Functions that are known not to return. This is normally because the function exits the program or longjmps to another location.
successors_adapted	An adapted version of the `successors_extended` relation that excludes impossible control-flow edges - flow will never occur along these edges, so it is safe (and indeed sensible) to remove them.

Modules

ControlFlowGraphPublic

Provides predicates that should be exported as if they were top-level predicates in ControlFlowGraph.qll. They have to be defined in this file in order to be grouped in a cached module with other predicates that must go in the same cached stage.