CodeQL library for C/C++
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)