Change max unsigned integer size

7 years ago · 058b37cae2
parent 02a61212ad
commit 058b37cae2
1 changed files with 1 additions and 1 deletions
--- a/mythril/analysis/modules/integer.py
+++ b/mythril/analysis/modules/integer.py
@ -15,7 +15,7 @@ For every SUB instruction, check if there's a possible state where op1 > op0.
 For every ADD, MUL instruction, check if there's a possible state where op1 + op0 > 2^32 - 1
 '''

-MAX_UINT = 2 ** 32 - 1
+MAX_UINT = 2 ** 256 - 1


 def execute(statespace):