fix returndata copy index (#1739)

2 years ago · d543c3aed1
parent 78cd01cead
commit d543c3aed1
1 changed files with 1 additions and 1 deletions
--- a/mythril/laser/ethereum/instructions.py
+++ b/mythril/laser/ethereum/instructions.py
@ -1349,7 +1349,7 @@ class Instruction:
        for i in range(concrete_size):
            global_state.mstate.memory[concrete_memory_offset + i] = (
                global_state.last_return_data[concrete_return_offset + i]
-                if i < global_state.last_return_data.size
+                if concrete_return_offset + i < global_state.last_return_data.size
                else 0
            )