CodeQL library for C/C++
codeql/cpp-all 0.13.1 (changelog, source)
Search

Predicate definitionReaches

Holds if the definition def of some stack variable can reach node, which is a definition or use, without crossing definitions of the same variable.

Import path

import cpp
predicate definitionReaches(Expr def, Expr node)