CodeQL library for C/C++

codeql/cpp-all 10.1.0 (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