From 75af0668acb0475a270657e652c9dea85d50b7b9 Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Mon, 10 Dec 2018 13:50:30 +0530 Subject: [PATCH] use as_long for only Non ints --- 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 37f7277f..d8328558 100644 --- a/mythril/laser/ethereum/instructions.py +++ b/mythril/laser/ethereum/instructions.py @@ -1287,7 +1287,7 @@ class Instruction: try: mem_out_start = helper.get_concrete_int(memory_out_offset) - mem_out_sz = memory_out_size.as_long() + mem_out_sz = memory_out_size if type(memory_out_size) == int else memory_out_size.as_long() except TypeError: logging.debug("CALL with symbolic start or offset not supported") return [global_state]