add recursive check for base constructors | strange setter

slitherin/detectors/strange_setter.py

@@ -3,6 +3,7 @@
 from slither.detectors.abstract_detector import AbstractDetector, DetectorClassification
 from slither.core.declarations import Function
 import slither.core.expressions.new_array as na
+from slither.analyses.data_dependency.data_dependency import is_dependent
 
 
 class StrangeSetter(AbstractDetector):
@@ -54,6 +55,13 @@ def _is_strange_setter(self, fun: Function) -> bool:
  for arg in [*external.arguments, external._called._expression]:
  if str(arg) == str(param):
  used_params.add(param)
+ if fun.name == "constructor":
+ for base_call in fun.explicit_base_constructor_calls:
+ if not self._is_strange_constructor(base_call):
+ for param_cur in fun.parameters:
+ for param_base in base_call.parameters:
+ if is_dependent(param_base, param_cur, base_call):
+ used_params.add(param_cur)
  intersection_len = len(set(fun.parameters) & used_params)
  return intersection_len != len(fun.parameters)
 

tests/strange_setter_test.sol

@@ -87,3 +87,7 @@ contract OkConstructor {
  init = true;
  }
 }
+
+contract TestInheritance is StrangeSetter{
+ constructor(uint256 _toSet) StrangeSetter(_toSet) {}
+}