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

MathiasVP · jketema · web-flow · commit 5cad8ec0a2cf · 2023-07-25T10:30:38.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
@@ -42,7 +42,7 @@
  *    `test_missing_call_context_1` and `test_missing_call_context_2` tests for how this may flag false positives
  *    without this final configuration.
  *
- * The source of the final path is an allocation that's:
+ * The source of the final path is an allocation that is:
  * 1. identified as flowing to an invalid pointer (by `AllocationToInvalidPointer`), and
  * 2. for which the invalid pointer flows to a dereference (as identified by `InvalidPointerToDereference`).
  *

Original file line number	Diff line number	Diff line change
`@@ -42,7 +42,7 @@`
`42`	`42`	* `test_missing_call_context_1` and `test_missing_call_context_2` tests for how this may flag false positives
`43`	`43`	`* without this final configuration.`
`44`	`44`	`*`
`45`		`- * The source of the final path is an allocation that's:`
	`45`	`+ * The source of the final path is an allocation that is:`
`46`	`46`	* 1. identified as flowing to an invalid pointer (by `AllocationToInvalidPointer`), and
`47`	`47`	* 2. for which the invalid pointer flows to a dereference (as identified by `InvalidPointerToDereference`).
`48`	`48`	`*`