|
|
@ -33,7 +33,6 @@ def _analyze_state(state): |
|
|
|
node = state.node |
|
|
|
node = state.node |
|
|
|
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): |
|
|
|