Use empty code to denote address (#1559)

3 years ago · 58a36720f4
parent 0136b4a1f9
commit 58a36720f4
1 changed files with 1 additions and 1 deletions
--- a/mythril/laser/ethereum/state/world_state.py
+++ b/mythril/laser/ethereum/state/world_state.py
@ -112,7 +112,7 @@ class WorldState:
        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,
        )