Fix an edge case (#1820)

Consensys · Nov 7, 2023 · c725576 · c725576
1 parent 14d32a2
commit c725576
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/mythril/laser/ethereum/instructions.py b/mythril/laser/ethereum/instructions.py
@@ -1087,6 +1087,10 @@ def codecopy_(self, global_state: GlobalState) -> List[GlobalState]:
             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