CodeQL library for C/C++

codeql/cpp-all 6.1.4-dev (changelog, source)

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

.

GuardValue

Module signature DataFlowIntegrationInputSig

Predicates

allowFlowIntoUncertainDef

guardControlsBlock

guardDirectlyControlsBlock

includeWriteDefsInFlowStep

keepAllPhiInputBackEdges

ssaDefHasSource

supportBarrierGuardsOnPhiEdges

Types

Type signature Make::DataFlowIntegrationInputSig::GuardValue

An abstract value that a Guard may evaluate to.

Copyright 2026 GitHub Software UK Ltd.Privacy Statement