C++: Add MaD model for 'CSimpleArray'.

MathiasVP · MathiasVP · commit 02b88d5dbdaf · 2024-11-27T16:41:40.000Z
diff --git a/cpp/ql/lib/ext/CSimpleArray.model.yml b/cpp/ql/lib/ext/CSimpleArray.model.yml
@@ -0,0 +1,11 @@
+extensions:
+  - addsTo:
+      pack: codeql/cpp-all
+      extensible: summaryModel
+    data: # namespace, type, subtypes, name, signature, ext, input, output, kind, provenance
+      - ["", "CSimpleArray", True, "CSimpleArray", "", "", "Argument[*0].Element[@]", "Argument[-1].Element[@]", "value", "manual"]
+      - ["", "CSimpleArray", True, "Add", "", "", "Argument[*0]", "Argument[-1].Element[@]", "value", "manual"]
+      - ["", "CSimpleArray", True, "GetData", "", "", "Argument[-1].Element[@]", "ReturnValue[*@]", "value", "manual"]
+      - ["", "CSimpleArray", True, "SetAtIndex", "", "", "Argument[*1]", "Argument[-1].Element[@]", "value", "manual"]
+      - ["", "CSimpleArray", True, "operator[]", "", "", "Argument[-1].Element[@]", "ReturnValue[*@]", "value", "manual"]
+      - ["", "CSimpleArray", True, "operator=", "", "", "Argument[*0].Element[@]", "Argument[-1].Element[@]", "value", "manual"]
diff --git a/cpp/ql/test/library-tests/dataflow/taint-tests/atl.cpp b/cpp/ql/test/library-tests/dataflow/taint-tests/atl.cpp
@@ -734,19 +734,19 @@ void test_CSimpleArray() {
   {
     CSimpleArray<int> a;
     a.Add(x);
-    sink(a[0]); // $ MISSING: ir
+    sink(a[0]); // $ ir
     a.Add(0);
-    sink(a[0]); // $ MISSING: ir
+    sink(a[0]); // $ ir
 
     CSimpleArray<int> a2;
     sink(a2[0]);
     a2 = a;
-    sink(a2[0]); // $ MISSING: ir
+    sink(a2[0]); // $ ir
   }
   {
     CSimpleArray<int> a;
     a.Add(x);
-    sink(a.GetData()); // $ MISSING: ir
+    sink(a.GetData()); // $ ir
 
     CSimpleArray<int> a2;
     int pos = a2.Find(x);
