File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed
cpp/ql/src/Security/CWE/CWE-190 Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -31,7 +31,7 @@ predicate bounded(Expr e) {
31
31
) and
32
32
not convertedExprMightOverflow ( e )
33
33
or
34
- // Optimitically assume that a remainder expression always yields a much smaller value.
34
+ // Optimistically assume that a remainder expression always yields a much smaller value.
35
35
e = any ( RemExpr rem ) .getLeftOperand ( )
36
36
or
37
37
e = any ( AssignRemExpr rem ) .getLValue ( )
@@ -44,7 +44,7 @@ predicate bounded(Expr e) {
44
44
boundedBitwiseAnd ( e , andExpr , andExpr .getAnOperand ( ) , andExpr .getAnOperand ( ) )
45
45
)
46
46
or
47
- // Optimitically assume that a division always yields a much smaller value.
47
+ // Optimistically assume that a division always yields a much smaller value.
48
48
e = any ( DivExpr div ) .getLeftOperand ( )
49
49
or
50
50
e = any ( AssignDivExpr div ) .getLValue ( )
You can’t perform that action at this time.
0 commit comments