Handle ExprRef input

6 years ago · 7334395087
parent 2c11246bb6
commit 7334395087
1 changed files with 1 additions and 1 deletions
--- a/mythril/laser/ethereum/state/calldata.py
+++ b/mythril/laser/ethereum/state/calldata.py
@ -34,7 +34,7 @@ class BaseCalldata:
        return self[offset: offset + 32]
    def __getitem__(self, item: Union[int, slice]) -> Any:
-        if isinstance(item, int):
+        if isinstance(item, int) or isinstance(item, ExprRef):
            return self._load(item)
        if isinstance(item, slice):