diff --git a/mythril/analysis/modules/ether_thief.py b/mythril/analysis/modules/ether_thief.py index c304fb11..93a792d3 100644 --- a/mythril/analysis/modules/ether_thief.py +++ b/mythril/analysis/modules/ether_thief.py @@ -78,7 +78,7 @@ class EtherThief(DetectionModule): ], ) - debug = "Transaction Sequence: " + str(transaction_sequence) + debug = str(transaction_sequence) issue = Issue( contract=node.contract_name, diff --git a/mythril/analysis/modules/exceptions.py b/mythril/analysis/modules/exceptions.py index 2b17920b..41a6a8e8 100644 --- a/mythril/analysis/modules/exceptions.py +++ b/mythril/analysis/modules/exceptions.py @@ -42,7 +42,7 @@ class ReachableExceptionsModule(DetectionModule): "Use `require()` for regular input checking." ) - debug = "Transaction Sequence: " + str( + debug = str( solver.get_transaction_sequence(state, node.constraints) ) diff --git a/mythril/analysis/modules/integer.py b/mythril/analysis/modules/integer.py index e7d67836..9bd354a7 100644 --- a/mythril/analysis/modules/integer.py +++ b/mythril/analysis/modules/integer.py @@ -108,7 +108,7 @@ class IntegerOverflowUnderflowModule(DetectionModule): operator ) try: - issue.debug = "Transaction Sequence: " + str( + issue.debug = str( solver.get_transaction_sequence(state, node.constraints + [constraint]) ) except UnsatError: @@ -223,7 +223,7 @@ class IntegerOverflowUnderflowModule(DetectionModule): "The subtraction can result in an integer underflow.\n" ) - issue.debug = "Transaction Sequence: " + str( + issue.debug = str( solver.get_transaction_sequence(state, node.constraints) ) issues.append(issue) diff --git a/mythril/analysis/modules/suicide.py b/mythril/analysis/modules/suicide.py index d49d1e0c..9f01848e 100644 --- a/mythril/analysis/modules/suicide.py +++ b/mythril/analysis/modules/suicide.py @@ -46,7 +46,7 @@ def _analyze_state(state): "The contract can be killed by anyone. Don't accidentally kill it." ) - debug = "Transaction Sequence: " + str(transaction_sequence) + debug = str(transaction_sequence) issue = Issue( contract=node.contract_name,