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