From a9fd342baf0b5317935778a8cb66cc92783afea9 Mon Sep 17 00:00:00 2001 From: palkeo Date: Thu, 8 Aug 2019 19:50:05 +0200 Subject: [PATCH] Check if item is symbolic first. --- mythril/laser/ethereum/state/account.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mythril/laser/ethereum/state/account.py b/mythril/laser/ethereum/state/account.py index 98ca205c..2c1d8887 100644 --- a/mythril/laser/ethereum/state/account.py +++ b/mythril/laser/ethereum/state/account.py @@ -79,8 +79,8 @@ class Storage: if ( self.address and self.address.value != 0 - and int(item.value) not in self.storage_keys_loaded and item.symbolic is False + and int(item.value) not in self.storage_keys_loaded and (self.dynld and self.dynld.storage_loading) ): try: