From 39a8656fa5a5a64e2a95979fcf58c8145b9bcb24 Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Wed, 7 Nov 2018 21:08:38 +0530 Subject: [PATCH] Add changes with respect to develop --- mythril/analysis/modules/suicide.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/mythril/analysis/modules/suicide.py b/mythril/analysis/modules/suicide.py index b4dd9feb..35a8ef33 100644 --- a/mythril/analysis/modules/suicide.py +++ b/mythril/analysis/modules/suicide.py @@ -74,7 +74,8 @@ def _analyze_state(state, node): not_creator_constraints.append( Not(Extract(159, 0, transaction.caller) == 0) ) - not_creator_constraints.append(check_changeable_constraints(node.constraints)) + if not check_changeable_constraints(node.constraints): + return [] try: model = solver.get_model(node.constraints + not_creator_constraints)