Merge pull request #314 from crytic/dev-fix-reentrancy

Fix reentrancy detector
crytic · Aug 16, 2019 · f608e98 · f608e98
2 parents c417c04 + e2ed64c
commit f608e98
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/slither/slithir/operations/send.py b/slither/slithir/operations/send.py
@@ -17,6 +17,9 @@ def __init__(self, destination, value, result):
 
         self._call_value = value
 
+    def can_send_eth(self):
+        return True
+
     @property
     def call_value(self):
         return self._call_value

diff --git a/slither/slithir/operations/transfer.py b/slither/slithir/operations/transfer.py
@@ -11,6 +11,8 @@ def __init__(self, destination, value):
 
         self._call_value = value
 
+    def can_send_eth(self):
+        return True
 
     @property
     def call_value(self):