Predicate stackPointerFlowsToDef
Helper predicate for stackPointerFlowsToUse. Tracks the flow of stack addresses through SSA definitions.
Import path
import semmle.code.cpp.dataflow.StackAddresspredicate stackPointerFlowsToDef(SsaDefinition def, StackVariable var, Type useType, Expr source, boolean isLocal)