Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll

MathiasVP · jketema · web-flow · commit 0729c602c5d8 · 2024-02-02T10:39:40.000Z
Co-authored-by: Jeroen Ketema &lt;93738568+jketema@users.noreply.github.com&gt;
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
@@ -1206,7 +1206,7 @@ private predicate isInputOutput(
  * ```
  * does not preserve the identity of `*p`.
  *
- * Similarly, functions that copy the contents of a string into a new location
+ * Similarly, a function that copies the contents of a string into a new location
  * does not also preserve the identity. For example, `strdup(p)` does not
  * preserve the identity of `*p` (since it allocates new storage and copies
  * the string into the new storage).

Original file line number	Diff line number	Diff line change
`@@ -1206,7 +1206,7 @@ private predicate isInputOutput(`
`1206`	`1206`	* ```
`1207`	`1207`	* does not preserve the identity of `*p`.
`1208`	`1208`	`*`
`1209`		`- * Similarly, functions that copy the contents of a string into a new location`
	`1209`	`+ * Similarly, a function that copies the contents of a string into a new location`
`1210`	`1210`	* does not also preserve the identity. For example, `strdup(p)` does not
`1211`	`1211`	* preserve the identity of `*p` (since it allocates new storage and copies
`1212`	`1212`	`* the string into the new storage).`