From a0b17219896cdbe3fa2663f2bfe2dbf8288b3001 Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Wed, 28 Nov 2018 11:34:02 +0700 Subject: [PATCH] Remove unused vars --- mythril/analysis/modules/external_calls.py | 15 +++++++++++---- 1 file changed, 11 insertions(+), 4 deletions(-) diff --git a/mythril/analysis/modules/external_calls.py b/mythril/analysis/modules/external_calls.py index 4e073626..0562ca9c 100644 --- a/mythril/analysis/modules/external_calls.py +++ b/mythril/analysis/modules/external_calls.py @@ -8,16 +8,23 @@ from mythril.exceptions import UnsatError import logging +DESCRIPTION = """ + +Search for low level calls (e.g. call.value()) that forward all gas to the callee. +Report a warning if the callee address can be set by the sender, otherwise create +an informational issue. + +""" + + class ExternalCallModule(DetectionModule): - def __init__(self, max_search_depth=64): + def __init__(self): super().__init__( name="External Calls", swc_id=REENTRANCY, - hooks=["CALL"], + hooks=["CALL", "DELEGATECALL", "STATICCALL", "CALLCODE"], description="Check for call.value()() to external addresses", ) - self.max_search_depth = max_search_depth - self.calls_visited = [] def execute(self, state_space): logging.debug("Executing module: %s", self.name)