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

MathiasVP · jketema · web-flow · commit 3d5414b84cc0 · 2023-07-12T11:57:51.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
@@ -389,7 +389,7 @@ module InvalidPointerToDerefFlow = DataFlow::Global<InvalidPointerToDerefConfig>
 
 /**
  * Holds if `source1` is dataflow node that represents an allocation that flows to the
- * left-hand side of the pointer-arithmetic `pai`, and `source` is a dataflow node with
+ * left-hand side of the pointer-arithmetic `pai`, and `derefSource` is a dataflow node with
  * 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

Original file line number	Diff line number	Diff line change
`@@ -389,7 +389,7 @@ module InvalidPointerToDerefFlow = DataFlow::Global<InvalidPointerToDerefConfig>`
`389`	`389`
`390`	`390`	`/**`
`391`	`391`	* Holds if `source1` is dataflow node that represents an allocation that flows to the
`392`		- * left-hand side of the pointer-arithmetic `pai`, and `source` is a dataflow node with
	`392`	+ * left-hand side of the pointer-arithmetic `pai`, and `derefSource` is a dataflow node with
`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