Import path
import codeql.controlflow.ControlFlowGraph
Predicates
| beginAbruptCompletion | Holds if ast may result in an abrupt completion c originating at n. The boolean always indicates whether the abrupt completion always occurs or whether n may also terminate normally.
|
| endAbruptCompletion | Holds if an abrupt completion c from within ast is caught with flow continuing at n.
|
| includeCallableEntry | Holds if control flow is constructed and reachability starts at the entry of callable in this stage. By default, all callable entries are included. Restricting this is useful for auxiliary CFG stages that are only needed for selected callables.
|
| step | Holds if there is a local non-abrupt step from n1 to n2.
|