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

MathiasVP · jketema · web-flow · commit 19872d5adf66 · 2023-07-12T11:58:07.000+01: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
@@ -393,7 +393,7 @@ module InvalidPointerToDerefFlow = DataFlow::Global<InvalidPointerToDerefConfig>
  * a pointer-value that is non-strictly upper bounded by `pai + delta`.
  *
  * For example, if `pai` is a pointer-arithmetic operation `p + size` in an expression such
- * as `(p + size) + 1` and `source` is the node representing `(p + size) + 1`. In this
+ * as `(p + size) + 1` and `derefSource` is the node representing `(p + size) + 1`. In this
  * case `delta` is 1.
  */
 predicate invalidPointerToDerefSource(

Original file line number	Diff line number	Diff line change
`@@ -393,7 +393,7 @@ module InvalidPointerToDerefFlow = DataFlow::Global<InvalidPointerToDerefConfig>`
`393`	`393`	* a pointer-value that is non-strictly upper bounded by `pai + delta`.
`394`	`394`	`*`
`395`	`395`	* For example, if `pai` is a pointer-arithmetic operation `p + size` in an expression such
`396`		- * as `(p + size) + 1` and `source` is the node representing `(p + size) + 1`. In this
	`396`	+ * as `(p + size) + 1` and `derefSource` is the node representing `(p + size) + 1`. In this
`397`	`397`	* case `delta` is 1.
`398`	`398`	`*/`
`399`	`399`	`predicate invalidPointerToDerefSource(`