Merge pull request #18660 from MathiasVP/fix-union-regression

C++: Fix regression from #18629
github · Feb 3, 2025 · 5e92763 · 5e92763
2 parents 0584aee + 0e6936d
commit 5e92763
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/cpp/ql/lib/semmle/code/cpp/commons/Buffer.qll b/cpp/ql/lib/semmle/code/cpp/commons/Buffer.qll
@@ -49,7 +49,11 @@ private Class getRootType(FieldAccess fa) {
   exists(VariableAccess root |
     root = fa.getQualifier+() and
     not exists(root.getQualifier()) and
-    result = root.getUnspecifiedType()
+    // We strip the type because the root may be a pointer. For example `p` in:
+    // struct S { char buffer[10]; };
+    // S* p = ...;
+    // strcpy(p->buffer, "abc");
+    result = root.getUnspecifiedType().stripType()
   )
 }