Eliminate 0x in the bytecode while searching for offset

pull/887/head
Nikhil Parasaram 6 years ago
parent 94e52b75e1
commit ffcc2aeb34
  1. 2
      mythril/laser/ethereum/instructions.py

@ -967,6 +967,8 @@ class Instruction:
return [global_state]
bytecode = global_state.environment.code.bytecode
if bytecode[0:2] == "0x":
bytecode = bytecode[2:]
if size == 0 and isinstance(
global_state.current_transaction, ContractCreationTransaction

Loading…
Cancel
Save