From 6965cf724605c086dcb188319e25605969aea3f7 Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Wed, 9 Oct 2024 15:05:13 +0100 Subject: [PATCH] C++: Make ql-for-ql happy. --- cpp/ql/lib/semmle/code/cpp/models/implementations/Fopen.qll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cpp/ql/lib/semmle/code/cpp/models/implementations/Fopen.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/Fopen.qll index e7cb84753853..b191ee2a5bca 100644 --- a/cpp/ql/lib/semmle/code/cpp/models/implementations/Fopen.qll +++ b/cpp/ql/lib/semmle/code/cpp/models/implementations/Fopen.qll @@ -54,7 +54,7 @@ private class Fopen extends Function, AliasFunction, SideEffectFunction, TaintFu output.isReturnValueDeref() or // The out parameter is a pointer to a `FILE*`. - this.hasGlobalOrStdName(["fopen_s"]) and + this.hasGlobalOrStdName("fopen_s") and input.isParameterDeref(1) and output.isParameterDeref(0, 2) or