From 47ba692d5cfa85916d8f90cf61b8fc8a5d749767 Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Sun, 28 Nov 2021 13:21:22 +0000 Subject: [PATCH] Use concrete storage (#1562) --- mythril/laser/ethereum/state/world_state.py | 1 + 1 file changed, 1 insertion(+) diff --git a/mythril/laser/ethereum/state/world_state.py b/mythril/laser/ethereum/state/world_state.py index e087775d..763cbe6c 100644 --- a/mythril/laser/ethereum/state/world_state.py +++ b/mythril/laser/ethereum/state/world_state.py @@ -105,6 +105,7 @@ class WorldState: address=addr_bitvec.value, dynamic_loader=dynamic_loader, code=dynamic_loader.dynld(addr), + concrete_storage=True, ) except ValueError: # Initial balance will be a symbolic variable