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

Predicate stackReferenceFlowsToUse

Holds if use has type useType and source is an access to a stack variable that flows to use. isLocal is true if use is accessed via a parameter, and false otherwise.

Import path

import semmle.code.cpp.dataflow.StackAddress
predicate stackReferenceFlowsToUse(Expr use, Type useType, Expr source, boolean isLocal)