CodeQL library for C/C++
codeql/cpp-all 0.4.4 (changelog, source)
Search

Predicate stackPointerFlowsToDef

Helper predicate for stackPointerFlowsToUse. Tracks the flow of stack addresses through SSA definitions.

Import path

import semmle.code.cpp.dataflow.StackAddress
predicate stackPointerFlowsToDef(SsaDefinition def, StackVariable var, Type useType, Expr source, boolean isLocal)