From 58a36720f476b1a3154c1165f11126b063259457 Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Sun, 21 Nov 2021 04:28:37 +0000 Subject: [PATCH] Use empty code to denote address (#1559) --- mythril/laser/ethereum/state/world_state.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mythril/laser/ethereum/state/world_state.py b/mythril/laser/ethereum/state/world_state.py index 2c9c7650..e087775d 100644 --- 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, )