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

Predicate stackReferenceFlowsToDef_Impl

stackReferenceFlowsToDef delegates most of the work to this predicate.

Import path

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