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

Predicate stackReferenceFlowsToDef

Helper predicate for stackPointerFlowsToUse. Tracks the flow of stack references through SSA definitions. This predicate is almost identical to stackPointerFlowsToDef, except it handles references types, such as int&, rather than pointers.

Import path

import semmle.code.cpp.dataflow.StackAddress
predicate stackReferenceFlowsToDef(SsaDefinition def, StackVariable var, Type useType, Expr source, boolean isLocal)