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

MathiasVP · jketema · web-flow · commit b1c6ee439698 · 2023-07-25T11:20:49.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
@@ -48,7 +48,7 @@
  *
  * The path can be described in 3 "chunks":
  * 1. One path from the allocation to the construction of the invalid pointer
- * 2. Another path from the construction of the invalid pointer to the final pointer that's about to be dereferenced.
+ * 2. Another path from the construction of the invalid pointer to the final pointer that is 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 happen when the flow state is `TPointerArith(pai)`

Original file line number	Diff line number	Diff line change
`@@ -48,7 +48,7 @@`
`48`	`48`	`*`
`49`	`49`	`* The path can be described in 3 "chunks":`
`50`	`50`	`* 1. One path from the allocation to the construction of the invalid pointer`
`51`		`- * 2. Another path from the construction of the invalid pointer to the final pointer that's about to be dereferenced.`
	`51`	`+ * 2. Another path from the construction of the invalid pointer to the final pointer that is 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`	`54`	* Step 1 happens when the flow state is `TInitial`, and step 2 and 3 happen when the flow state is `TPointerArith(pai)`