Fix instruction list offset due to added JUMPDEST

6 years ago · 4e56c9fc75
parent ecaeaec91f
commit 4e56c9fc75
1 changed files with 1 additions and 1 deletions
--- 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