Fix bug in return_

6 years ago · f7e7bdcd73
parent 39b1fe3111
commit f7e7bdcd73
1 changed files with 1 additions and 1 deletions
--- a/mythril/laser/ethereum/instructions.py
+++ b/mythril/laser/ethereum/instructions.py
@ -839,7 +839,7 @@ class Instruction:
            return_data = state.memory[util.get_concrete_int(offset):util.get_concrete_int(offset + length)]
        except AttributeError:
            logging.debug("Return with symbolic length or offset. Not supported")
-            global_state.current_transaction.end(global_state, [BitVec("return_data")])
+            global_state.current_transaction.end(global_state, [BitVec("return_data", 256)])

        global_state.current_transaction.end(global_state, return_data)