为什么 Codex Security 不包含 SAST 报告

Codex Security 不依赖传统 SAST，改用 AI 驱动的约束推理与验证来发现真实漏洞。AI 方法相比静态分析能显著减少误报，避免开发者被大量噪音干扰。OpenAI 解释称传统 SAST 难以应对复杂代码逻辑，而 AI 约束推理可更精准定位问题。