Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/InvalidPointerToDereference.qll

Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
This commit is contained in:
Mathias Vorreiter Pedersen
2023-07-25 10:30:21 +02:00
committed by GitHub
parent 6ebd5ab3ed
commit a176ba262b

View File

@@ -45,7 +45,7 @@
* Consider the following snippet:
* ```cpp
* 1. char *p = new char[size];
* 2. char *end = p + size; // $ alloc=L363
* 2. char *end = p + size;
* 3. if (p < end) {
* 4. p += 1;
* 5. }