Merge pull request #343 from JoranHonig/bugfix/fallback_

Set initial function name to fallback
6 years ago · a0500a7837
parent fe9a8ec351 119c8842b7
commit a0500a7837
1 changed files with 1 additions and 0 deletions
--- a/mythril/laser/ethereum/svm.py
+++ b/mythril/laser/ethereum/svm.py
@ -62,6 +62,7 @@ class LaserEVM:
        self.nodes[initial_node.uid] = initial_node

        global_state = GlobalState(self.accounts, environment, initial_node)
+        global_state.environment.active_function_name = "fallback()"
        initial_node.states.append(global_state)

        # Empty the work_list before starting an execution