Update cpp/ql/src/Security/CWE/CWE-191/UnsignedDifferenceExpressionComparedZero.ql

geoffw0 · MathiasVP · web-flow · commit 5db6abe2f497 · 2021-05-07T16:22:48.000+01:00
Co-authored-by: Mathias Vorreiter Pedersen &lt;mathiasvp@github.com&gt;
diff --git a/cpp/ql/src/Security/CWE/CWE-191/UnsignedDifferenceExpressionComparedZero.ql b/cpp/ql/src/Security/CWE/CWE-191/UnsignedDifferenceExpressionComparedZero.ql
@@ -61,7 +61,7 @@ predicate exprIsSubLeftOrLess(SubExpr sub, DataFlow::Node n) {
   )
   or
   exists(DataFlow::Node other, float p, float q |
-    // linear access of `e`
+    // linear access of `n`
     exprIsSubLeftOrLess(sub, other) and
     linearAccess(other.asExpr(), n.asExpr(), p, q) and // other = p * e + q
     p >= 1 and

Original file line number	Diff line number	Diff line change
`@@ -61,7 +61,7 @@ predicate exprIsSubLeftOrLess(SubExpr sub, DataFlow::Node n) {`
`61`	`61`	`)`
`62`	`62`	`or`
`63`	`63`	`exists(DataFlow::Node other, float p, float q \|`
`64`		- // linear access of `e`
	`64`	+ // linear access of `n`
`65`	`65`	`exprIsSubLeftOrLess(sub, other) and`
`66`	`66`	`linearAccess(other.asExpr(), n.asExpr(), p, q) and // other = p * e + q`
`67`	`67`	`p >= 1 and`