Parse byte and handle out of range code

6 years ago · d092064f67
parent b9f5f6644e
commit d092064f67
1 changed files with 6 additions and 1 deletions
--- a/mythril/laser/ethereum/instructions.py
+++ b/mythril/laser/ethereum/instructions.py
@ -546,7 +546,12 @@ class Instruction:
        bytecode = global_state.environment.active_account.code.bytecode

        for i in range(concrete_size):
-            global_state.mstate.memory[concrete_memory_offset + i] = bytecode[concrete_code_offset + i]
+            try:
+                global_state.mstate.memory[concrete_memory_offset + i] =\
+                    int(bytecode[concrete_code_offset + i: concrete_code_offset + i + 2], 16)
+            except IndexError:
+                global_state.mstate.memory[concrete_memory_offset + i] = \
+                    BitVec("code({})".format(global_state.environment.active_account.contract_name), 256)

        return [global_state]