Ignore failed contract creations

6 years ago · ce89fc810d
parent 17410661e1
commit ce89fc810d
1 changed files with 3 additions and 2 deletions
--- a/mythril/laser/ethereum/svm.py
+++ b/mythril/laser/ethereum/svm.py
@ -122,8 +122,9 @@ 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)
+                if not isinstance(transaction, ContractCreationTransaction) or transaction.return_data:
+                    e.global_state.world_state.node = global_state.node
+                    self.open_states.append(e.global_state.world_state)
                new_global_states = []
            else:
                # First execute the post hook for the transaction ending instruction