C++: Add a testcase that needs heuristic allocation.

MathiasVP · MathiasVP · commit 023b8e4f152f · 2023-05-10T08:21:21.000+01:00
diff --git a/cpp/ql/test/experimental/query-tests/Security/CWE/CWE-119/test.cpp b/cpp/ql/test/experimental/query-tests/Security/CWE/CWE-119/test.cpp
@@ -243,3 +243,9 @@ void test_flow_through_setter(unsigned size) {
     memset(str.string, 0, size + 1); // BAD
 }
 
+void* my_alloc(unsigned size);
+
+void foo(unsigned size) {
+    int* p = (int*)my_alloc(size); // BAD [NOT DETECTED]
+    memset(p, 0, size + 1);
+}

Original file line number	Diff line number	Diff line change
`@@ -243,3 +243,9 @@ void test_flow_through_setter(unsigned size) {`
`243`	`243`	`memset(str.string, 0, size + 1); // BAD`
`244`	`244`	`}`
`245`	`245`
	`246`	`+void* my_alloc(unsigned size);`
	`247`	`+`
	`248`	`+void foo(unsigned size) {`
	`249`	`+ int* p = (int*)my_alloc(size); // BAD [NOT DETECTED]`
	`250`	`+ memset(p, 0, size + 1);`
	`251`	`+}`