Update report text in integer overflow check

7 years ago · facdec1cf4
parent 2acd398325
commit facdec1cf4
1 changed files with 2 additions and 2 deletions
--- a/mythril/analysis/modules/integer.py
+++ b/mythril/analysis/modules/integer.py
@ -77,7 +77,7 @@ def _check_integer_overflow(statespace, state, node):
                      "Warning")

        issue.description = "A possible integer overflow exists in the function {}.\n" \
-                            "Addition may result in a lower value.".format(node.function_name)
+                            "The addition may result in a value higher than the maximum representable integer.".format(node.function_name)
        issue.debug = solver.pretty_print_model(model)
        issues.append(issue)