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

Add condition not 0

Browse Source
pull/324/head
Joran Honig 6 years ago
parent a6e9a415d5
commit 290aaf8198
1 changed files with 1 additions and 1 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. 2
      mythril/laser/ethereum/call.py

2
mythril/laser/ethereum/call.py
Unescape View File

@ -36,7 +36,7 @@ def get_call_parameters(global_state, dynamic_loader, with_value=False):
callee_account = None callee_account = None
call_data, call_data_type = get_call_data(global_state, meminstart, meminsz, False) call_data, call_data_type = get_call_data(global_state, meminstart, meminsz, False)
if int(callee_address, 16) >= 5: if int(callee_address, 16) >= 5 or int(callee_address) != 0:
call_data, call_data_type = get_call_data(global_state, meminstart, meminsz) call_data, call_data_type = get_call_data(global_state, meminstart, meminsz)
callee_account = get_callee_account(global_state, callee_address, dynamic_loader) callee_account = get_callee_account(global_state, callee_address, dynamic_loader)

Write Preview
Loading…
Cancel
Save