Fix missing support for this.variable() in reentrancy detector

pull/179/head
Josselin 6 years ago
parent 6bad498509
commit c0f9f09b59
  1. 2
      slither/detectors/reentrancy/reentrancy.py

@ -59,6 +59,8 @@ class Reentrancy(AbstractDetector):
# We can check that the function called is
# reentrancy-safe
if ir.destination == SolidityVariable('this'):
if isinstance(ir.function, Variable):
continue
if not ir.function.all_high_level_calls():
if not ir.function.all_low_level_calls():
continue

Loading…
Cancel
Save