C++: Update example in QLDoc.

MathiasVP · MathiasVP · commit 9108982b07b6 · 2023-07-24T12:13:31.000+02:00
diff --git a/cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/AllocationToInvalidPointer.qll b/cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/AllocationToInvalidPointer.qll
@@ -7,7 +7,7 @@
  * 1. char* base = (char*)malloc(size);
  * 2. char* end = base + size;
  * 3. for(int *p = base; p <= end; p++) {
- * 4.   use(*p);
+ * 4.   use(*p); // BUG: Should have been bounded by `p < end`.
  * 5. }
  * ```
  * this file identifies the flow from `new int[size]` to `base + size`.
