Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
CodeQL library for C/C++
codeql/cpp-all 4.3.2-dev (changelog, source)

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)