Update cpp/ql/src/experimental/Security/CWE/CWE-416/IteratorToExpiredContainer.ql

MathiasVP · geoffw0 · web-flow · commit 457d71d7bce3 · 2024-03-18T12:01:44.000Z
Co-authored-by: Geoffrey White &lt;40627776+geoffw0@users.noreply.github.com&gt;
diff --git a/cpp/ql/src/experimental/Security/CWE/CWE-416/IteratorToExpiredContainer.ql b/cpp/ql/src/experimental/Security/CWE/CWE-416/IteratorToExpiredContainer.ql
@@ -74,7 +74,7 @@ predicate isSinkImpl(DataFlow::Node sink, FunctionCall fc) {
 }
 
 /**
- * Flow from any destroyed object to the qualifier of a `begin` call
+ * Flow from any destroyed object to the qualifier of a `begin` or `end` call
  */
 module DestroyedToBeginConfig implements DataFlow::ConfigSig {
   predicate isSource(DataFlow::Node source) { source = getADestroyedNode() }

Original file line number	Diff line number	Diff line change
`@@ -74,7 +74,7 @@ predicate isSinkImpl(DataFlow::Node sink, FunctionCall fc) {`
`74`	`74`	`}`
`75`	`75`
`76`	`76`	`/**`
`77`		- * Flow from any destroyed object to the qualifier of a `begin` call
	`77`	+ * Flow from any destroyed object to the qualifier of a `begin` or `end` call
`78`	`78`	`*/`
`79`	`79`	`module DestroyedToBeginConfig implements DataFlow::ConfigSig {`
`80`	`80`	`predicate isSource(DataFlow::Node source) { source = getADestroyedNode() }`