CodeQL library for Rust

codeql/rust-all 0.2.6 (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