Fix issues with exceptions module (#1542)

3 years ago · ab2db57b9a
parent e7d50f3c60
commit ab2db57b9a
1 changed files with 1 additions and 1 deletions
--- a/mythril/analysis/module/modules/exceptions.py
+++ b/mythril/analysis/module/modules/exceptions.py
@ -121,7 +121,7 @@ class Exceptions(DetectionModule):

 def is_assertion_failure(global_state):
    state = global_state.mstate
-    offset, length = state.stack.pop(), state.stack.pop()
+    offset, length = state.stack[-1], state.stack[-2]
    try:
        return_data = state.memory[
            util.get_concrete_int(offset) : util.get_concrete_int(offset + length)