Skip to content

Commit 88b7828

Browse files
MathiasVPjketema
andauthored
Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/InvalidPointerToDereference.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
1 parent 4a276c3 commit 88b7828

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@
88
* 1. char* base = (char*)malloc(size);
99
* 2. char* end = base + size;
1010
* 3. for(int *p = base; p <= end; p++) {
11-
* 4. use(*p);
11+
* 4. use(*p); // BUG: Should have been bounded by `p < end`.
1212
* 5. }
1313
* ```
1414
* this file identifies the flow from `base + size` to `end`. We call `base + size` the "dereference source" and `end`

0 commit comments

Comments
 (0)