★ 4
研究团队用 Claude 对 100 多个开源库完成汇编级形式化验证
研究团队与 Theorem 合作，使用 Claude 在 RISC-V 汇编层面为 100 多个真实开源软件库生成形式化安全证明，属首次大规模将 AI 用于生产级软件的形式化验证。过程中 Claude 还发现了历经数万亿次测试仍未暴露的缺陷，有望让形式化验证进入常规开发流程。
Hacker News10 天前
#软件安全
共 6 篇相关资讯，按重要度与时间排序，每 3 小时更新。
★ 3
新国标发布，健全智能网联汽车软件安全治理
市场监管总局（国家标准委）批准发布《汽车软件质量与缺陷管理规范》国家标准。标准要求汽车生产者、软件提供方及供应链相关组织建立软件质量安全管理体系，实施软件安全管理、历史问题规避、状态报告监控等 10 项关键质量保证活动，并强化对人工智能软件、嵌入式软件、云端软件的管控。该标准有助于推动汽车软件缺陷…
36氪49 天前
★ 3
AI编程助手几乎不检查供应链信任信号
一篇 arXiv 论文指出，主流 AI 编程助手在推荐或引入依赖时，极少核查供应链信任信号，如包签名、维护者信誉、下载来源与已知漏洞信息。这意味着 AI 生成的代码可能把不可信或已被投毒的依赖直接带入生产环境，放大软件供应链攻击面。研究提示需要把依赖信任评估内建到编程助手的工作流中。
Hacker News – AI53 天前
★ 2
AI 抬高了持续交付的安全门槛
文章讨论 AI 生成代码的普及如何改变持续交付（CD）的安全要求，认为持续交付本身应被视为一项安全特性。观点类内容在 Hacker News 关注度较低。
Hacker News – AI9 天前
★ 2
是时候谈谈AI与软件安全了
一篇评论文章呼吁业界正视AI在软件安全领域的双面影响：既被用于发现漏洞，也被用于生成攻击。作者主张将AI安全纳入软件开发生命周期的核心议题。
Hacker News – AI36 天前
★ 2
当 AI 足够好时如何做安全审计
Trail of Bits 撰文探讨在 AI 能力「足够好」的时代，代码与系统安全审计方式应如何调整。文章关注 AI 生成代码的审查、自动化审计工具的可靠性边界，以及审计人员角色与流程的转变。
Hacker News – AI44 天前
这个主题的相关资产
相关公司Anthropic1