mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
12 lines
347 B
Plaintext
12 lines
347 B
Plaintext
import cpp
|
|
import semmle.code.cpp.dataflow.new.DataFlow
|
|
|
|
from Function fopen, FunctionCall fc, Parameter p, DataFlow::Node source, DataFlow::Node sink
|
|
where
|
|
fopen.hasGlobalName("fopen") and
|
|
fc.getTarget() = fopen and
|
|
source.asParameter(1) = p and
|
|
sink.asIndirectExpr(1) = fc.getArgument(0) and
|
|
DataFlow::localFlow(source, sink)
|
|
select p
|