Merge pull request #1894 from crytic/fix-operations-with-overflow-protection

remove modulo binop from `can_be_checked_for_overflow`
2 years ago · 11d5607f83
parent 5dca45bdaf 7fc4d8714c
commit 11d5607f83
1 changed files with 0 additions and 1 deletions
--- a/slither/slithir/operations/binary.py
+++ b/slither/slithir/operations/binary.py
@ -94,7 +94,6 @@ class BinaryType(Enum):
        return self in [
            BinaryType.POWER,
            BinaryType.MULTIPLICATION,
-            BinaryType.MODULO,
            BinaryType.ADDITION,
            BinaryType.SUBTRACTION,
            BinaryType.DIVISION,