CodeQL library for C/C++

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