Soemthing

6 years ago · 106cbfd43d
parent 88487c29f2
commit 106cbfd43d
1 changed files with 2 additions and 0 deletions
--- a/mythril/laser/ethereum/plugins/implementations/dependency_pruner.py
+++ b/mythril/laser/ethereum/plugins/implementations/dependency_pruner.py
@ -229,6 +229,7 @@ class DependencyPruner(LaserPlugin):

        @symbolic_vm.pre_hook("SLOAD")
        def sload_hook(state: GlobalState):
+
            annotation = get_dependency_annotation(state)
            location = state.mstate.stack[-1]

@ -318,3 +319,4 @@ class DependencyPruner(LaserPlugin):
                    annotation.storage_written[self.iteration],
                )
            )
+