Handle return_data=None case

6 years ago · b1ecbdc929
parent e08ce7e785
commit b1ecbdc929
1 changed files with 3 additions and 2 deletions
--- a/mythril/laser/ethereum/transaction/transaction_models.py
+++ b/mythril/laser/ethereum/transaction/transaction_models.py
@ -180,11 +180,12 @@ class ContractCreationTransaction(BaseTransaction):
        :param revert:
        """
        if (
-            not all([isinstance(element, int) for element in return_data])
+            return_data is None
+            or not all([isinstance(element, int) for element in return_data])
            or len(return_data) == 0
        ):
            self.return_data = None
-            raise TransactionEndSignal(global_state)
+            raise TransactionEndSignal(global_state, revert=revert)

        contract_code = bytes.hex(array.array("B", return_data).tostring())