CodeQL library for C#

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