From 69393d6880907b6c3501043be3a67f674b6a2cb9 Mon Sep 17 00:00:00 2001 From: Konrad Weiss Date: Thu, 19 Jul 2018 15:13:48 +0200 Subject: [PATCH] Addin _ to codecopy function Missing _ will not find the appropriate function when handling the codecopy instruction --- mythril/laser/ethereum/instructions.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mythril/laser/ethereum/instructions.py b/mythril/laser/ethereum/instructions.py index ab09c293..2db3adf7 100644 --- a/mythril/laser/ethereum/instructions.py +++ b/mythril/laser/ethereum/instructions.py @@ -515,7 +515,7 @@ class Instruction: return [global_state] @instruction - def codecopy(self, global_state): + def codecopy_(self, global_state): # FIXME: not implemented state = global_state.mstate start, s1, size = state.stack.pop(), state.stack.pop(), state.stack.pop()