Set worldstate node for cfg

6 years ago · b28cf7626a
parent 9c02ab3f18
commit b28cf7626a
1 changed files with 1 additions and 0 deletions
--- a/mythril/laser/ethereum/svm.py
+++ b/mythril/laser/ethereum/svm.py
@ -108,6 +108,7 @@ class LaserEVM:
            transaction, return_global_state = e.global_state.transaction_stack.pop()

            if return_global_state is None:
+                e.global_state.world_state.node = global_state.node
                self.open_states.append(e.global_state.world_state)
                new_global_states = []
            else: