pull/104/head
kyle 7 years ago
parent 8462a8e7f2
commit 6f4248c0a4
  1. 2
      mythril/analysis/modules/integer.py

@ -66,7 +66,7 @@ def execute(statespace):
issue = Issue(node.contract_name, node.function_name, instruction['address'], "Integer Underflow", "Warning") issue = Issue(node.contract_name, node.function_name, instruction['address'], "Integer Underflow", "Warning")
issue.description = "A possible integer underflow exists in the function " + node.function_name + ".\n" \ issue.description = "A possible integer underflow exists in the function " + node.function_name + ".\n" \
"The substraction may result in a value < 0." "The subtraction may result in a value < 0."
issue.debug = solver.pretty_print_model(model) issue.debug = solver.pretty_print_model(model)
issues.append(issue) issues.append(issue)

Loading…
Cancel
Save