Add documentation and other call opcodes

pull/994/head
Nikhil Parasaram 6 years ago
parent 2de33f11d1
commit e0a282682d
  1. 7
      mythril/analysis/modules/external_calls.py
  2. 2
      mythril/analysis/modules/state_change_external_calls.py

@ -28,6 +28,11 @@ an informational issue.
class CallIssue: class CallIssue:
""" This class is a struct of
call: the Call struct
user_defined_address: Whether the address can be defined by user or not
"""
def __init__(self, call: Call, user_defined_address: bool) -> None: def __init__(self, call: Call, user_defined_address: bool) -> None:
self.call = call self.call = call
self.user_defined_address = user_defined_address self.user_defined_address = user_defined_address
@ -155,7 +160,7 @@ class ExternalCalls(DetectionModule):
swc_id=REENTRANCY, swc_id=REENTRANCY,
description=DESCRIPTION, description=DESCRIPTION,
entrypoint="callback", entrypoint="callback",
pre_hooks=["CALL"], pre_hooks=["CALL", "DELEGATECALL"],
) )
def execute(self, state: GlobalState): def execute(self, state: GlobalState):

@ -109,7 +109,7 @@ class StateChange(DetectionModule):
swc_id=REENTRANCY, swc_id=REENTRANCY,
description=DESCRIPTION, description=DESCRIPTION,
entrypoint="callback", entrypoint="callback",
pre_hooks=["CALL", "SSTORE"], pre_hooks=["CALL", "SSTORE", "CREATE", "DELEGATECALL"],
) )
def execute(self, state: GlobalState): def execute(self, state: GlobalState):

Loading…
Cancel
Save