add function documentation

pull/112/head
Joran Honig 7 years ago
parent b6128f1d8e
commit 86a9b852d6
  1. 6
      mythril/analysis/modules/integer.py

@ -78,6 +78,12 @@ def _check_integer_overflow(state, node):
def _check_integer_underflow(state, node):
"""
Checks for integer underflow
:param state: state from node to examine
:param node: node to examine
:return: found issue
"""
issues = []
instruction = state.get_current_instruction()

Loading…
Cancel
Save