Update cpp/ql/src/experimental/Security/CWE/CWE-193/InvalidPointerDeref.ql

MathiasVP · jketema · web-flow · commit 2cfa14b91ff8 · 2023-07-25T10:30:44.000+02:00
Co-authored-by: Jeroen Ketema &lt;93738568+jketema@users.noreply.github.com&gt;
diff --git a/cpp/ql/src/experimental/Security/CWE/CWE-193/InvalidPointerDeref.ql b/cpp/ql/src/experimental/Security/CWE/CWE-193/InvalidPointerDeref.ql
@@ -34,7 +34,7 @@
  * Step 1 is implemented in `AllocationToInvalidPointer.qll`, and step 2 is implemented by
  * `InvalidPointerToDereference.qll`. See those files for the description of these.
  *
- * This file imports both libraries and define a final dataflow configuration that constructs the full path from
+ * This file imports both libraries and defines a final dataflow configuration that constructs the full path from
  * the allocation to the dereference of the out-of-bounds pointer. This is done for several reasons:
  * 1. It means the user is able to inspect the entire path from the allocation to the dereference, which can be useful
  *    to understand the problem highlighted.

Original file line number	Diff line number	Diff line change
`@@ -34,7 +34,7 @@`
`34`	`34`	* Step 1 is implemented in `AllocationToInvalidPointer.qll`, and step 2 is implemented by
`35`	`35`	* `InvalidPointerToDereference.qll`. See those files for the description of these.
`36`	`36`	`*`
`37`		`- * This file imports both libraries and define a final dataflow configuration that constructs the full path from`
	`37`	`+ * This file imports both libraries and defines a final dataflow configuration that constructs the full path from`
`38`	`38`	`* the allocation to the dereference of the out-of-bounds pointer. This is done for several reasons:`
`39`	`39`	`* 1. It means the user is able to inspect the entire path from the allocation to the dereference, which can be useful`
`40`	`40`	`* to understand the problem highlighted.`