Fix annotation problem

6 years ago · ca1c496bae
parent f4893eea65
commit ca1c496bae
1 changed files with 5 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,11 @@ class StateChange(DetectionModule):
        try:
            constraints = copy(global_state.mstate.constraints)
            solver.get_model(
-                constraints + [UGT(gas, symbol_factory.BitVecVal(2300, 256)), to > 16]
+                constraints
+                + [
+                    UGT(gas, symbol_factory.BitVecVal(2300, 256)),
+                    to > symbol_factory.BitVecVal(16, 256),
+                ]
            )

            # Check whether we can also set the callee address