diff --git a/mythril/laser/ethereum/state/calldata.py b/mythril/laser/ethereum/state/calldata.py index 1fc93e39..a14af8d5 100644 --- 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):