change fallback function's name

6 years ago · add65a47ae
parent 651d44dcb9
commit add65a47ae
1 changed files with 1 additions and 1 deletions
--- a/mythril/laser/ethereum/transaction.py
+++ b/mythril/laser/ethereum/transaction.py
@ -50,7 +50,7 @@ class MessageCall:
                evm.edges.append(Edge(open_world_state.node.uid, new_node.uid, edge_type=JumpType.Transaction, condition=None))

            global_state = GlobalState(open_world_state.accounts, environment, new_node)
-            global_state.environment.active_function_name = 'fallback'
+            global_state.environment.active_function_name = 'unnamed fallback'
            new_node.states.append(global_state)

            evm.work_list.append(global_state)