C++: Add example of missing result.

MathiasVP · MathiasVP · commit 3e6576bfaf13 · 2022-09-18T12:18:04.000+01:00
diff --git a/cpp/ql/test/experimental/query-tests/Security/CWE/CWE-193/pointer-deref/test.cpp b/cpp/ql/test/experimental/query-tests/Security/CWE/CWE-193/pointer-deref/test.cpp
@@ -179,3 +179,13 @@ void test10_callee(array_t *arr) {
 void test10(int size) {
     test10_callee(mk_array_p(size));
 }
+
+void deref_plus_one(char* q) {
+    char a = *(q + 1); // BAD [NOT DETECTED]
+}
+
+void test11(unsigned size) {
+    char *p = malloc(size);
+    char *q = p + size - 1;
+    deref_plus_one(q);
+}
