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

MathiasVP · jketema · web-flow · commit 2caad6798089 · 2023-07-25T11:18:54.000+02:00
Co-authored-by: Jeroen Ketema &lt;93738568+jketema@users.noreply.github.com&gt;
diff --git a/cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/InvalidPointerToDereference.qll b/cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/InvalidPointerToDereference.qll
@@ -22,7 +22,7 @@
  * in `AllocationToInvalidPointer.qll` are actually being dereferenced. We do this using a regular dataflow
  * configuration (see `InvalidPointerToDerefConfig`).
  *
- * This dataflow traversal defines the set of sources as any dataflow node `n` such that there exists a pointer-arithmetic
+ * The dataflow traversal defines the set of sources as any dataflow node `n` such that there exists a pointer-arithmetic
  * instruction `pai` found by `AllocationToInvalidPointer.qll` and `n.asInstruction() >= pai + deltaDerefSourceAndPai`.
  * Here, `deltaDerefSourceAndPai` is the constant difference between the source we track for finding a dereference and the
  * pointer-arithmetic instruction.

Original file line number	Diff line number	Diff line change
`@@ -22,7 +22,7 @@`
`22`	`22`	* in `AllocationToInvalidPointer.qll` are actually being dereferenced. We do this using a regular dataflow
`23`	`23`	* configuration (see `InvalidPointerToDerefConfig`).
`24`	`24`	`*`
`25`		- * This dataflow traversal defines the set of sources as any dataflow node `n` such that there exists a pointer-arithmetic
	`25`	+ * The dataflow traversal defines the set of sources as any dataflow node `n` such that there exists a pointer-arithmetic
`26`	`26`	* instruction `pai` found by `AllocationToInvalidPointer.qll` and `n.asInstruction() >= pai + deltaDerefSourceAndPai`.
`27`	`27`	* Here, `deltaDerefSourceAndPai` is the constant difference between the source we track for finding a dereference and the
`28`	`28`	`* pointer-arithmetic instruction.`