mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
9 lines
266 B
Plaintext
9 lines
266 B
Plaintext
import cpp
|
|
import semmle.code.cpp.dataflow.StackAddress
|
|
|
|
from FunctionCall call, Expr use, Type useType, Expr source, boolean isLocal
|
|
where
|
|
use = call.getAnArgument() and
|
|
stackPointerFlowsToUse(use, useType, source, isLocal)
|
|
select use, useType, source, isLocal
|