From c7255768b7083e57b914d0b74a4a9f955b67577a Mon Sep 17 00:00:00 2001
From: Nikhil Parasaram <nikhilparasaram@gmail.com>
Date: Tue, 7 Nov 2023 09:46:58 +0000
Subject: [PATCH] Fix an edge case (#1820)

---
 mythril/laser/ethereum/instructions.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/mythril/laser/ethereum/instructions.py b/mythril/laser/ethereum/instructions.py
index 7a8f3996..6fad49ef 100644
--- a/mythril/laser/ethereum/instructions.py
+++ b/mythril/laser/ethereum/instructions.py
@@ -1087,6 +1087,10 @@ class Instruction:
             global_state.mstate.stack.pop(),
         )
         code = global_state.environment.code.bytecode
+        if isinstance(code, tuple):
+            log.debug("unsupported symbolic code for CODECOPY")
+            return [global_state]
+
         if code.startswith("0x"):
             code = code[2:]
         code_size = len(code) // 2