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

Merge branch 'enhance/886' of github.com:ConsenSys/mythril into enhance/886

Browse Source
pull/994/head
Nikhil Parasaram 6 years ago
parent 259c0f28dc 0820ca08c7
commit ecbd6711e1
1 changed files with 2 additions and 3 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. 5
      mythril/analysis/modules/external_calls.py

5
mythril/analysis/modules/external_calls.py
Unescape View File

@ -32,7 +32,6 @@ def _analyze_state(state):
""" """
gas = state.mstate.stack[-1] gas = state.mstate.stack[-1]
to = state.mstate.stack[-2] to = state.mstate.stack[-2]
issues = []
address = state.get_current_instruction()["address"] address = state.get_current_instruction()["address"]
call = get_call_from_state(state) call = get_call_from_state(state)
@ -105,8 +104,8 @@ def _analyze_state(state):
except UnsatError: except UnsatError:
log.debug("[EXTERNAL_CALLS] No model found.") log.debug("[EXTERNAL_CALLS] No model found.")
return [] return []
issues.append(issue)
return issues return [issue]
class ExternalCalls(DetectionModule): class ExternalCalls(DetectionModule):

Write Preview
Loading…
Cancel
Save