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, )