在codex中识别永不执行的分支需结合静态分析与运行时验证：先扫描条件关键词及隐式分支，再用ast解析提取条件表达式，接着做常量传播分析判断恒假/恒真，最后通过覆盖率工具定位未命中分支。
☞☞☞AI 智能聊天, 问答助手, AI 智能搜索, 多模态理解力帮你轻松跨越从0到1的创作门槛☜☜☜
在Codex中识别永远不会执行的分支，需要结合静态分析与运行时行为验证，不能仅依赖代码高亮或简单搜索。Codex本身不提供内置的“死代码检测”功能，必须借助外部工具链配合其生成的代码上下文进行交叉判断。
确认Codex输出是否含条件分支
打开Codex生成的代码块，逐行扫描是否存在 if、else if、elif、switch、case、guard、unless 等关键词；没有这些结构就不存在分支，后续步骤无需执行。
特别注意三元表达式（a ? b : c）和短路逻辑（&&、||）——它们也构成隐式分支，容易被忽略。
用AST解析器提取所有条件表达式
方法一：使用 esbuild + estree 插件（适用于JavaScript/TypeScript）
安装 esbuild：npm install -D esbuild；编写脚本调用 parse 方法，传入 Codex 输出的代码字符串，获取 AST 根节点；遍历所有 ConditionalExpression、IfStatement、SwitchStatement 节点，提取 test 字段的原始文本。
方法二：使用 tree-sitter-cli（支持多语言）
下载对应语言的 grammar（如 tree-sitter-javascript），运行 treesitter parse --quiet --language javascript input.js；输出中筛选 type="if_statement" 或 type="conditional_expression" 的节点位置和条件内容。
通过 Codex CLI 生成图片，支持尺寸控制和批量模式。依赖：codex (npm)。代理默认启用。用 generate.sh 生成单张，batch_generate.sh 批量生成游戏 UI 素材，gen_size.sh 指定尺寸。所有输出保存至 ~/.codex/generated_images/。
对每个条件表达式做常量传播分析
第一步：提取条件子表达式中的字面量、全局常量、函数返回值声明（如 const DEBUG = false;）。
第二步：识别是否出现编译期可判定的恒假/恒真模式，例如：【typeof x === "undefined" && x != null】 —— 前半部分为真时后半部分必然为假，整个 && 表达式永远为 false。
第三步：检查布尔运算中是否包含 NaN、void 0、document.all 等陷阱值参与比较；这类表达式在非严格模式下可能产生意外恒定结果。
这一步操作起来很简单，直接把提取出的 test 字段粘贴进浏览器控制台执行即可验证真假性，但要注意执行环境必须匹配原代码上下文（比如是否在 DOM 环境中）。
运行覆盖率工具定位未命中分支
将 Codex 输出的代码放入测试工程，用 Jest（JavaScript）、pytest-cov（Python）或 gcovr（C/C++）运行全量测试；生成 HTML 覆盖率报告后，打开分支覆盖率（Branch Coverage）视图。
红色高亮且显示 “0/2” 或 “0/3” 的 if 块，即表示该分支从未被执行；点击该行可跳转到对应源码位置，确认是否属于 Codex 生成内容。
注意：若测试用例未覆盖边界输入（如 null、空数组、负数索引），会导致误报；必须补全边界 case 后再判断。
