Add documentation for _handle_return function

pull/938/head
Nikhil Parasaram 6 years ago
parent fd2436ddb7
commit 2e1f1fd5d2
  1. 5
      mythril/analysis/modules/integer.py

@ -220,6 +220,11 @@ class IntegerOverflowUnderflowModule(DetectionModule):
@staticmethod
def _handle_return(state: GlobalState) -> None:
"""
Adds all the annotations into the state which correspond to the
locations in the memory returned by RETURN opcode.
:param state: The Global State
"""
stack = state.mstate.stack
try:
offset, length = get_concrete_int(stack[-1]), get_concrete_int(stack[-2])

Loading…
Cancel
Save