make sure the target address is higher than 16

6 years ago · 672fcd6c0d
parent 056e105bee
commit 672fcd6c0d
1 changed files with 1 additions and 1 deletions
--- 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