Use empty code to denote address (#1559)

Consensys · Nov 21, 2021 · 58a3672 · 58a3672
1 parent 0136b4a
commit 58a3672
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/mythril/laser/ethereum/state/world_state.py b/mythril/laser/ethereum/state/world_state.py
@@ -112,7 +112,7 @@ def accounts_exist_or_load(self, addr, dynamic_loader: DynLoader) -> Account:
         try:
             code = dynamic_loader.dynld(addr)
         except ValueError:
-            code = Disassembly("0x")
+            code = None
         return self.create_account(
             address=addr_bitvec.value, dynamic_loader=dynamic_loader, code=code,
         )