Predicate stackReferenceFlowsToDef_Impl
stackReferenceFlowsToDef delegates most of the work to this predicate.
Import path
import semmle.code.cpp.dataflow.StackAddresspredicate stackReferenceFlowsToDef_Impl(SsaDefinition def, StackVariable var, Type useType, Expr source, boolean isLocal)