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

MathiasVP · jketema · web-flow · commit e1f519fab755 · 2023-07-25T10:33:17.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
@@ -51,7 +51,7 @@
  * 2. Another path from the construction of the invalid pointer to the final pointer that's about to be dereferenced.
  * 3. Finally, a single step from the dataflow node that represents the final pointer to the dereference.
  *
- * Step 1 happens when the flow state is `TInitial`, and step 2 and 3 happens when the flow state is `TPointerArith(pai)`
+ * Step 1 happens when the flow state is `TInitial`, and step 2 and 3 happen when the flow state is `TPointerArith(pai)`
  * where the pointer-arithmetic instruction `pai` tracks the instruction that generated the out-of-bounds pointer. This
  * instruction is used in the construction of the alert message.
  *

Original file line number	Diff line number	Diff line change
`@@ -51,7 +51,7 @@`
`51`	`51`	`* 2. Another path from the construction of the invalid pointer to the final pointer that's about to be dereferenced.`
`52`	`52`	`* 3. Finally, a single step from the dataflow node that represents the final pointer to the dereference.`
`53`	`53`	`*`
`54`		- * Step 1 happens when the flow state is `TInitial`, and step 2 and 3 happens when the flow state is `TPointerArith(pai)`
	`54`	+ * Step 1 happens when the flow state is `TInitial`, and step 2 and 3 happen when the flow state is `TPointerArith(pai)`
`55`	`55`	* where the pointer-arithmetic instruction `pai` tracks the instruction that generated the out-of-bounds pointer. This
`56`	`56`	`* instruction is used in the construction of the alert message.`
`57`	`57`	`*`