Predicate stackReferenceFlowsToUse
Holds if use has type useType and source is an access to a stack variable
that flows to use. isLocal is true if use is accessed via a parameter, and
false otherwise.
Import path
import semmle.code.cpp.dataflow.StackAddresspredicate stackReferenceFlowsToUse(Expr use, Type useType, Expr source, boolean isLocal)