Fix duplicate function name

5 years ago · 29f45165ea
parent 58bdc64b84
commit 29f45165ea
2 changed files with 2 additions and 2 deletions
--- a/mythril/laser/ethereum/plugins/implementations/dependency_pruner.py
+++ b/mythril/laser/ethereum/plugins/implementations/dependency_pruner.py
@ -246,7 +246,7 @@ class DependencyPruner(LaserPlugin):
            annotation.has_call = True

        @symbolic_vm.pre_hook("STATICCALL")
-        def call_hook(state: GlobalState):
+        def staticcall_hook(state: GlobalState):
            annotation = get_dependency_annotation(state)

            self.update_calls(annotation.path)
--- a/mythril/laser/ethereum/plugins/implementations/mutation_pruner.py
+++ b/mythril/laser/ethereum/plugins/implementations/mutation_pruner.py
@ -43,7 +43,7 @@ class MutationPruner(LaserPlugin):
            global_state.annotate(MutationAnnotation())

        @symbolic_vm.pre_hook("STATICCALL")
-        def call_mutator_hook(global_state: GlobalState):
+        def staticcall_mutator_hook(global_state: GlobalState):
            global_state.annotate(MutationAnnotation())

        @symbolic_vm.laser_hook("add_world_state")