helper

crytic · Jun 15, 2020 · 1cb906d · 1cb906d
1 parent df2af33
commit 1cb906d
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/slither/core/declarations/solidity_variables.py b/slither/core/declarations/solidity_variables.py
@@ -83,6 +83,13 @@ def __init__(self, name):
     def _check_name(self, name):
         assert name in SOLIDITY_VARIABLES or name.endswith("_slot") or name.endswith("_offset")
 
+    @property
+    def state_variable(self):
+        if self._name.endswith("_slot"):
+            return self._name[:-5]
+        if self._name.endswith("_offset"):
+            return self._name[:-7]
+
     @property
     def name(self):
         return self._name