Merge branch 'dev' of github.com:0xpaladinsecurity/slither into 0xpal…

…adinsecurity-dev
dynamictrader · Oct 26, 2022 · be4f899 · be4f899
2 parents 4b3d5f4 9b51fb8
commit be4f899
Showing 1 changed file with 14 additions and 1 deletion.
diff --git a/slither/detectors/variables/possible_const_state_variables.py b/slither/detectors/variables/possible_const_state_variables.py
@@ -3,8  3,10 @@
 """
 from slither.core.compilation_unit import SlitherCompilationUnit
 from slither.core.solidity_types.elementary_type import ElementaryType
 from slither.core.solidity_types.user_defined_type import UserDefinedType
 from slither.detectors.abstract_detector import AbstractDetector, DetectorClassification
 from slither.visitors.expression.export_values import ExportValues
 from slither.core.declarations import Contract
 from slither.core.declarations.solidity_variables import SolidityFunction
 from slither.core.variables.state_variable import StateVariable
 from slither.formatters.variables.possible_const_state_variables import custom_format
@@ -29,9  31,20 @@ class ConstCandidateStateVars(AbstractDetector):
     WIKI_DESCRIPTION = "Constant state variables should be declared constant to save gas."
     WIKI_RECOMMENDATION = "Add the `constant` attributes to state variables that never change."
 
 
     @staticmethod
     def _is_valid_type(v):
         t = v.type
         if isinstance(t, ElementaryType):
             return True
         if isinstance(t, UserDefinedType) and isinstance(t.type, Contract):
             return True
         return False
 
 
     @staticmethod
     def _valid_candidate(v):
-        return isinstance(v.type, ElementaryType) and not (v.is_constant or v.is_immutable)
         return ConstCandidateStateVars._is_valid_type(v) and not (v.is_constant or v.is_immutable)
 
     # https://solidity.readthedocs.io/en/v0.5.2/contracts.html#constant-state-variables
     valid_solidity_function = [