为什么 Codex Security 不提供 SAST 报告

Codex Security 不依赖传统 SAST，而是用 AI 驱动的约束推理与验证来发现真实漏洞，减少误报。该文深入解析了这一设计取舍的原因。