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

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)