Update cpp/ql/src/Security/CWE/CWE-190/Bounded.qll

MathiasVP · geoffw0 · web-flow · commit c44475458e5a · 2021-06-23T14:38:36.000+02:00
Co-authored-by: Geoffrey White &lt;40627776+geoffw0@users.noreply.github.com&gt;
diff --git a/cpp/ql/src/Security/CWE/CWE-190/Bounded.qll b/cpp/ql/src/Security/CWE/CWE-190/Bounded.qll
@@ -40,7 +40,7 @@ private predicate boundedBitwiseAnd(Expr e, Expr andExpr, Expr operand1, Expr op
 
 /**
  * Holds if `e` is an arithmetic expression that cannot overflow, or if `e` is an operand of an
- * operation that may greatly reduces the range of possible values.
+ * operation that may greatly reduce the range of possible values.
  */
 predicate bounded(Expr e) {
   (

Original file line number	Diff line number	Diff line change
`@@ -40,7 +40,7 @@ private predicate boundedBitwiseAnd(Expr e, Expr andExpr, Expr operand1, Expr op`
`40`	`40`
`41`	`41`	`/**`
`42`	`42`	* Holds if `e` is an arithmetic expression that cannot overflow, or if `e` is an operand of an
`43`		`- * operation that may greatly reduces the range of possible values.`
	`43`	`+ * operation that may greatly reduce the range of possible values.`
`44`	`44`	`*/`
`45`	`45`	`predicate bounded(Expr e) {`
`46`	`46`	`(`