use dynamic property

pull/1639/head
alpharush 2 years ago committed by GitHub
parent 21a0ba882e
commit 9361a7bc8d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      slither/detectors/variables/unchanged_state_variables.py

@ -118,7 +118,7 @@ class UnchangedStateVariables:
self.constant_candidates.append(v)
elif (
v.type != ElementaryType("string")
not v.is_dynamic
and version.parse(self.compilation_unit.solc_version)
>= version.parse("0.6.5")
and (v in constructor_variables_written or v in variables_initialized)

Loading…
Cancel
Save