Rust 与 Verus 或助 AI 漏洞挖掘聚焦搜索空间

jd_pressman 与 AI 安全研究者 @moyix 讨论 AI 辅助 CVE 挖掘时提出，Rust 语言与 Verus 形式化验证实际上在缩小搜索空间、降低噪音，使模型能直接定位到可能存在漏洞的位置。他同时质疑这种收敛是否会穷尽。他还调侃 apache 代码库本身质量堪忧，可能贡献了一半的漏洞。