Use concrete storage (#1562)

3 years ago · 47ba692d5c
parent ccda36d30e
commit 47ba692d5c
1 changed files with 1 additions and 0 deletions
--- 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