Predicate stackReferenceFlowsToDef
Helper predicate for stackPointerFlowsToUse. Tracks the flow of stack references through SSA definitions. This predicate is almost identical to stackPointerFlowsToDef, except it handles references types, such as int&, rather than pointers.
Import path
import semmle.code.cpp.dataflow.StackAddresspredicate stackReferenceFlowsToDef(SsaDefinition def, StackVariable var, Type useType, Expr source, boolean isLocal)