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

MathiasVP · jketema · web-flow · commit 997eb1caf21c · 2023-07-25T11:19:14.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
@@ -23,7 +23,7 @@
  * configuration (see `InvalidPointerToDerefConfig`).
  *
  * 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`.
+ * instruction `pai` found by `AllocationToInvalidPointer.qll` and a `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
`@@ -23,7 +23,7 @@`
`23`	`23`	* configuration (see `InvalidPointerToDerefConfig`).
`24`	`24`	`*`
`25`	`25`	* The dataflow traversal defines the set of sources as any dataflow node `n` such that there exists a pointer-arithmetic
`26`		- * instruction `pai` found by `AllocationToInvalidPointer.qll` and `n.asInstruction() >= pai + deltaDerefSourceAndPai`.
	`26`	+ * instruction `pai` found by `AllocationToInvalidPointer.qll` and a `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.`
`29`	`29`	`*`