diff --git a/mythril/laser/ethereum/state/account.py b/mythril/laser/ethereum/state/account.py index c6098d49..1c738767 100644 --- a/mythril/laser/ethereum/state/account.py +++ b/mythril/laser/ethereum/state/account.py @@ -94,7 +94,8 @@ class Storage: storage._standard_storage = deepcopy(self._standard_storage) storage.printable_storage = copy(self.printable_storage) storage.storage_keys_loaded = copy(self.storage_keys_loaded) - storage.keys_set = copy(self.keys_set) + storage.keys_set = deepcopy(self.keys_set) + storage.keys_get = deepcopy(self.keys_get) return storage def __str__(self) -> str: diff --git a/requirements.txt b/requirements.txt index 290772d2..7244e7db 100644 --- a/requirements.txt +++ b/requirements.txt @@ -1,4 +1,5 @@ blake2b-py +cytools<0.12.0 coloredlogs>=10.0 coincurve>=13.0.0 asn1crypto>=0.22.0