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

Predicate referenceParamFlowsToDef

Helper predicate for stackPointerFlowsToUse. Tracks the flow of stack addresses which arrived through one of the function’s parameters. This predicate is very similar to stackPointerFlowsToDef but they cannot be merged, because we cannot identify a sensible source expression here.

Import path

import semmle.code.cpp.dataflow.StackAddress
predicate referenceParamFlowsToDef(SsaDefinition def, Parameter param, Type useType)