Update cpp/ql/src/Security/CWE/CWE-120/UnboundedWrite.ql

MathiasVP · jketema · web-flow · commit 7048190929d9 · 2023-11-09T12:39:10.000Z
Co-authored-by: Jeroen Ketema &lt;93738568+jketema@users.noreply.github.com&gt;
diff --git a/cpp/ql/src/Security/CWE/CWE-120/UnboundedWrite.ql b/cpp/ql/src/Security/CWE/CWE-120/UnboundedWrite.ql
@@ -89,7 +89,7 @@ module Config implements DataFlow::ConfigSig {
   predicate isBarrierOut(DataFlow::Node node) { isSink(node) }
 
   predicate isBarrier(DataFlow::Node node) {
-    // Block flow is the node is guarded by any <, <= or = operations.
+    // Block flow if the node is guarded by any <, <= or = operations.
     node = DataFlow::BarrierGuard<lessThanOrEqual/3>::getABarrierNode()
   }
 }

Original file line number	Diff line number	Diff line change
`@@ -89,7 +89,7 @@ module Config implements DataFlow::ConfigSig {`
`89`	`89`	`predicate isBarrierOut(DataFlow::Node node) { isSink(node) }`
`90`	`90`
`91`	`91`	`predicate isBarrier(DataFlow::Node node) {`
`92`		`- // Block flow is the node is guarded by any <, <= or = operations.`
	`92`	`+ // Block flow if the node is guarded by any <, <= or = operations.`
`93`	`93`	`node = DataFlow::BarrierGuard<lessThanOrEqual/3>::getABarrierNode()`
`94`	`94`	`}`
`95`	`95`	`}`