one line calldata bugfix - four line version

6 years ago · 415aaf5e62
parent 8196dc1159
commit 415aaf5e62
1 changed files with 5 additions and 1 deletions
--- a/mythril/laser/ethereum/state.py
+++ b/mythril/laser/ethereum/state.py
@ -64,7 +64,11 @@ class Calldata:

    def __getitem__(self, item):
        if isinstance(item, slice):
-            stop = get_concrete_int(item.stop)
+            try:
+                stop = get_concrete_int(item.stop)
+            except AttributeError:
+                stop = item.stop
+
            if self.concrete and isinstance(stop, int):
                calldatasize = get_concrete_int(self.calldatasize)
                if stop > calldatasize: