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

Fix reentrancy detector
pull/322/head
Feist Josselin 5 years ago committed by GitHub
commit f608e985d8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 3
      slither/slithir/operations/send.py
  2. 2
      slither/slithir/operations/transfer.py

@ -17,6 +17,9 @@ class Send(Call, OperationWithLValue):
self._call_value = value self._call_value = value
def can_send_eth(self):
return True
@property @property
def call_value(self): def call_value(self):
return self._call_value return self._call_value

@ -11,6 +11,8 @@ class Transfer(Call):
self._call_value = value self._call_value = value
def can_send_eth(self):
return True
@property @property
def call_value(self): def call_value(self):

Loading…
Cancel
Save