From 4479b61f2ff25cd22735590a770e7d4521b8013c Mon Sep 17 00:00:00 2001 From: alpharush <0xalpharush@protonmail.com> Date: Wed, 26 Oct 2022 08:45:49 -0500 Subject: [PATCH] use state_variables_ordered API it should be used over `(state_)variables` as it includes inherited, private variables, too. fixes #1322 --- slither/tools/read_storage/read_storage.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/slither/tools/read_storage/read_storage.py b/slither/tools/read_storage/read_storage.py index fd881c05e6..bb662c4d5e 100644 --- a/slither/tools/read_storage/read_storage.py +++ b/slither/tools/read_storage/read_storage.py @@ -253,7 +253,7 @@ def get_all_storage_variables(self, func: Callable = None) -> None: func, [ (contract, var) - for var in contract.variables + for var in contract.state_variables_ordered if not var.is_constant and not var.is_immutable ], )