AIHOT·· 1 天前精选AI 评分84
Anthropic 用 Claude 对 123 个 OSS-Fuzz 开源库完成汇编级形式化安全证明
Anthropic 用 Claude 对 123 个开源库完成汇编级形式化安全证明
AI 导读
Anthropic 与 Theorem 使用 Claude 为 123 个 OSS-Fuzz 开源库的 239 个入口点生成 RISC-V 汇编级形式化安全证明，覆盖约 1.8 亿行 Rocq。
推荐理由
展示了 Claude 将模糊测试转为汇编级形式化证明的流程、规模与复用方法，为软件安全验证从专家手工走向自动化提供可核查案例。
来源：AIHOT · anthropic.com