Fix reentrancy detector

5 years ago · e2ed64c97b
parent c417c04bf0
commit e2ed64c97b
2 changed files with 5 additions and 0 deletions
--- a/slither/slithir/operations/send.py
+++ b/slither/slithir/operations/send.py
@ -17,6 +17,9 @@ class Send(Call, OperationWithLValue):

        self._call_value = value

+    def can_send_eth(self):
+        return True
+
    @property
    def call_value(self):
        return self._call_value
--- a/slither/slithir/operations/transfer.py
+++ b/slither/slithir/operations/transfer.py
@ -11,6 +11,8 @@ class Transfer(Call):

        self._call_value = value

+    def can_send_eth(self):
+        return True

    @property
    def call_value(self):