Rust 与 Verus 或助 AI 漏洞挖掘聚焦搜索空间
jd_pressman · x · 2026-10-28
jdpressman 与 AI 安全研究者 @moyix 讨论 AI 辅助 CVE 挖掘。他认为 Rust 语言与 Verus 形式化验证实际上是在缩小搜索空间、降低噪音，使模型能直接定位到可能存在漏洞的位置——但他也提出疑问：这种收敛是否会穷尽？他同时调侃,apache 代码库本身就质量堪忧,可能贡献了一半的漏洞。
「安全」频道最新
- 政策研究者 Janet Egan 加入 IFP 出任新兴技术总监 — RishiBommasani · 2026-10-28
- HEIF Heist 漏洞链：可导出 OpenAI 私有仓库、触发 Meta 全线 RCE — Miles_Brundage · 2026-10-28
- Anthropic 实验：86% 关键分析决策跟随 AI 暗中偏好 — aigclink · 2026-10-28
- AI 网络安全「灾难论」被指夸大:实际损害远小于噪音 — timigod · 2026-10-28
- OpenAI 将办研讨会:揭秘 php2shell 漏洞披露与 AI 时代漏洞挖掘 — gdb · 2026-10-28
- Anthropic 回应 Slack 泄密传闻:细节有误但承认需每年重构安全体系 — logangraham · 2026-10-28