Merge pull request github#13815 from MathiasVP/add-missing-result-test

C++: Add `cpp/invalid-pointer-deref` false negative

Author: MathiasVP

cpp/ql/test/experimental/query-tests/Security/CWE/CWE-193/pointer-deref/test.cpp

@@ -700,4 +700,17 @@ void test34(unsigned size) {
   if (p + 1 < end) {
     int val = *p; // GOOD
   }
-}
+}
+
+void deref(char* q) {
+  char x = *q; // $ MISSING: deref=L712->L706 deref=L713->L706
+}
+
+void test35(unsigned long size, char* q)
+{
+  char* p = new char[size];
+  char* end = p + size; // $ alloc=L711
+  if(q <= end) {
+    deref(q);
+  }
+}