OpenAI 刊文解释，Codex Security 不提供静态应用安全测试（SAST）报告，因其不依赖传统 SAST，而是以 AI 驱动的约束推理与验证来发现真实漏洞，减少误报。
该文以深度解析的方式说明 Codex Security 为何不含 SAST 报告。按文中表述，这一产品不走传统 SAST 路线，改用 AI 驱动的约束推理（constraint reasoning）和验证（validation）来识别漏洞，目标是在找到真实漏洞的同时降低误报。
孤本观察：Codex Security 弃用传统 SAST、转向 AI 驱动的约束推理与验证，实质是把“更少误报”当作核心卖点。这条路线能否成立，最终取决于约束推理在真实代码中的表现，而非文章自身的论证。
来源：OpenAI News