CodeQL library for Python

codeql/python-all 4.0.9 (changelog, source)

For other CodeQL resources, including tutorials and examples, see the CodeQL documentation

.

isBranch

Class ControlFlowNode

Predicates

getAFalseSuccessor

getANormalSuccessor

getAPredecessor

getATrueSuccessor

getAnExceptionalSuccessor

getEnclosingModule

getImmediateDominator

hasCompletePointsToSet

isExceptionalExit

strictlyDominates

strictlyReaches

unlikelyReachable

Member predicate ControlFlowNode::isBranch

Holds if this CFG node is a branch

predicate isBranch()

Copyright 2025 GitHub Software UK Ltd.Privacy Statement