CodeQL library for C#

codeql/csharp-all 5.4.8 (changelog, source)

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

.

getARead

Class SsaDefinition

Predicates

getAnUltimateDefinition

getControlFlowNode

isLiveAtEndOfBlock

Inherited predicates

getSourceVariable

Member predicate Make::MakeSsa::SsaDefinition::getARead

Gets a read of this SSA definition.

Expr getARead()

Copyright 2026 GitHub Software UK Ltd.Privacy Statement