TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

remove as long

Browse Source
pull/404/head
Joran Honig 6 years ago
parent 892efb4053
commit dbe221c905
1 changed files with 4 additions and 4 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 8
      mythril/laser/ethereum/instructions.py

8
mythril/laser/ethereum/instructions.py
Unescape View File

@ -1050,8 +1050,8 @@ class Instruction:
return [global_state] return [global_state]
# Copy memory # Copy memory
global_state.mstate.mem_extend(memory_out_offset, min(memory_out_size.as_long(), len(global_state.last_return_data))) global_state.mstate.mem_extend(memory_out_offset, min(memory_out_size, len(global_state.last_return_data)))
for i in range(min(memory_out_size.as_long(), len(global_state.last_return_data))): for i in range(min(memory_out_size, len(global_state.last_return_data))):
global_state.mstate.memory[i + memory_out_offset] = global_state.last_return_data[i] global_state.mstate.memory[i + memory_out_offset] = global_state.last_return_data[i]
# Put return value on stack # Put return value on stack
@ -1123,8 +1123,8 @@ class Instruction:
# Copy memory # Copy memory
global_state.mstate.mem_extend(memory_out_offset, global_state.mstate.mem_extend(memory_out_offset,
min(memory_out_size.as_long(), len(global_state.last_return_data))) min(memory_out_size, len(global_state.last_return_data)))
for i in range(min(memory_out_size.as_long(), len(global_state.last_return_data))): for i in range(min(memory_out_size, len(global_state.last_return_data))):
global_state.mstate.memory[i + memory_out_offset] = global_state.last_return_data[i] global_state.mstate.memory[i + memory_out_offset] = global_state.last_return_data[i]
# Put return value on stack # Put return value on stack

Write Preview
Loading…
Cancel
Save