CodeQL library for C#

codeql/csharp-all 6.0.2 (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