fixed: pausable printer includes checks on constructor()

crytic · Apr 5, 2023 · 82960f3 · 82960f3
1 parent fa4ca2c
commit 82960f3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/slither/printers/summary/when_not_paused.py b/slither/printers/summary/when_not_paused.py
@@ -10,8 +10,6 @@
 
 
 def _use_modifier(function: Function, modifier_name: str = "whenNotPaused") -> bool:
-    if function.is_constructor or function.view or function.pure:
-        return False
 
     for internal_call in function.all_internal_calls():
         if isinstance(internal_call, SolidityFunction):
@@ -46,6 +44,8 @@ def output(self, _filename: str) -> output.Output:
             table = MyPrettyTable(["Name", "Use whenNotPaused"])
 
             for function in contract.functions_entry_points:
+                if function.is_constructor or function.view or function.pure:
+                    continue
                 status = "X" if _use_modifier(function, modifier_name) else ""
                 table.add_row([function.solidity_signature, status])