C++: Add a case for global or namespace variables in 'interpretElement0'.

2026-04-26 09:15:12 +02:00 · 2024-02-09 13:27:32 +00:00
parent 52a1d905f1
commit 3719e10ce8
1 changed files with 6 additions and 0 deletions
--- a/cpp/ql/lib/semmle/code/cpp/dataflow/ExternalFlow.qll
+++ b/cpp/ql/lib/semmle/code/cpp/dataflow/ExternalFlow.qll
@@ -434,6 +434,12 @@ private Element interpretElement0(
      subtypes = false and
      classWithMember = namedClass
    )
+    or
+    // Global or namespace variables
+    signature = "" and
+    type = "" and
+    subtypes = false and
+    result = any(GlobalOrNamespaceVariable v | v.hasQualifiedName(namespace, name))
  )
 }