From 672fcd6c0d5e9143ddb7da940457a490760f1161 Mon Sep 17 00:00:00 2001 From: Joran Honig Date: Fri, 5 Apr 2019 11:29:17 +0200 Subject: [PATCH] make sure the target address is higher than 16 --- mythril/analysis/modules/state_change_external_calls.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mythril/analysis/modules/state_change_external_calls.py b/mythril/analysis/modules/state_change_external_calls.py index 67b120ca..4ef94288 100644 --- a/mythril/analysis/modules/state_change_external_calls.py +++ b/mythril/analysis/modules/state_change_external_calls.py @@ -94,7 +94,7 @@ class StateChange(DetectionModule): try: constraints = copy(global_state.mstate.constraints) solver.get_model( - constraints + [UGT(gas, symbol_factory.BitVecVal(2300, 256))] + constraints + [UGT(gas, symbol_factory.BitVecVal(2300, 256)), to > 16] ) # Check whether we can also set the callee address