CodeQL library for C/C++

codeql/cpp-all 6.0.1-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 2025 GitHub Software UK Ltd.Privacy Statement