From 4e56c9fc7571a9af274829f434d589114b472c59 Mon Sep 17 00:00:00 2001 From: Dominik Muhs Date: Sat, 8 Sep 2018 18:01:02 +0200 Subject: [PATCH] Fix instruction list offset due to added JUMPDEST --- mythril/laser/ethereum/svm.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mythril/laser/ethereum/svm.py b/mythril/laser/ethereum/svm.py index 52bad4c3..122d222c 100644 --- a/mythril/laser/ethereum/svm.py +++ b/mythril/laser/ethereum/svm.py @@ -218,7 +218,7 @@ class LaserEVM: new_node.flags |= NodeFlags.FUNC_ENTRY except IndexError: new_node.flags |= NodeFlags.FUNC_ENTRY - address = state.environment.code.instruction_list[state.mstate.pc - 1]['address'] + address = state.environment.code.instruction_list[state.mstate.pc]['address'] environment = state.environment disassembly = environment.code