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

Predicate pointerParamFlowsToDef

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 pointerParamFlowsToDef(SsaDefinition def, Parameter param, Type useType)