MissingCalls: don't account reinitializers

crytic · Aug 15, 2024 · 5f31381 · 5f31381
1 parent fe54eb7
commit 5f31381
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/slither/tools/upgradeability/checks/initialization.py b/slither/tools/upgradeability/checks/initialization.py
@@ -272,6 +272,9 @@ def _check(self):
         all_init_functions_called = _get_all_internal_calls(most_derived_init) + [most_derived_init]
         missing_calls = [f for f in all_init_functions if not f in all_init_functions_called]
         for f in missing_calls:
+            # we don't account reinitializers
+            if any((m.name == "reinitializer") for m in f.modifiers):
+                continue
             info = ["Missing call to ", f, " in ", most_derived_init, ".\n"]
             json = self.generate_result(info)
             results.append(json)