CWE-bench v2发布:100个真实漏洞任务,测试AI安全修复能力

资讯 AI 应用前沿 全文 2523 字 · 约 7 分钟读完 配图 1 张 分类GeminiHuggingGoogle模型发布开源

Collinear AI发布了CWE-bench v2基准测试,包含100个基于真实开源代码库的安全修复任务。该基准覆盖91种常见漏洞类型,强调自动化评分和可复现性。目前Gemini 4 Argon以67.8%的通过率领先,但仍有近两成任务未被任何模型解决。文章介绍了测试结果、成本效益分析及如何在Hugging Fac

所属频道 大厂动态模型发布Gemini 与 Google AI开源生态

为什么我们需要更硬核的AI安全测试

在AI辅助编程越来越普及的今天,很多开发者开始依赖大模型来查找和修复代码中的安全漏洞。但这带来了一个新问题:我们怎么知道这些模型真的懂安全,还是只是在碰运气?

之前的基准测试往往存在几个毛病:题目太简单,或者评分标准不透明,甚至有的模型靠“背题”就能拿高分。为了解决这些问题,Collinear AI推出了CWE-bench v2。这不是一个玩具数据集,而是一套旨在测试前沿AI网络攻防能力的硬指标。

这次发布的v2版本公开了100个任务,任何人都可以下载并用来评估自己的模型。它的核心逻辑很直接:给AI一个真实的开源代码库副本,再给一段简短的指令,让它找出并修复其中的安全弱点,同时不能破坏原有的功能。整个过程由程序自动评分,结果确定且可复现,不需要额外的人工介入。

这100个任务是怎么来的

如果你是个防御者,你必须预判攻击者所有可能的入侵路径,并且每次都要做对。CWE-bench v2的100个任务覆盖了91种不同的CWE(通用弱点枚举)类型,跨度很大。这意味着模型不能只靠识别某种熟悉的代码模式来蒙混过关,它必须真正理解潜在的攻击面。

为了保证质量,团队对每个任务都进行了极其严苛的检查。他们不仅用了LLM评委面板来优化评分标准,确保其具备足够的难度和公平性,还人工复核了每一个环节。具体来说,每个任务都必须满足以下条件:

  • 指令读起来像真实的开发需求,而不是那种一眼假的考试题。
  • 所有的评分行为都能从指令中推导出来,没有隐藏陷阱。
  • 验证器检查的是代码行为是否正确,而不是看代码结构是否和某个特定答案一模一样。
  • 初始代码必须失败,而参考修复方案必须通过。
  • 修复后的代码必须保留原有功能。
  • 验证器必须能识别并拒绝那些死记硬背的已知上游补丁。

此外,他们还维护了一个未公开的“保留集”,用于跟踪模型在从未见过的任务上的表现。如果你想在这个保留集上测试模型,需要联系官方获取资格。这种做法有效地防止了模型通过过度拟合公开数据来刷分。

谁表现得最好

目前的测试结果可以在Hugging Face上找到。排行榜分为两部分:一部分是针对开源权重模型的,社区可以通过提交PR来更新结果;另一部分则包含了仅限API访问的商业模型,如Gemini、Claude和GPT系列。

在已评估的11个模型中,Gemini 4 Argon暂时领先。它在pass@1(第一次尝试就成功的概率)指标上达到了67.8%,在pass@4(四次尝试中至少一次成功的概率)上达到了81.0%。紧随其后的是Claude Opus 5.5,pass@1为67.3%,pass@4为78.0%。

有个细节值得注意:在这100个任务中,有95个至少被一个模型成功解决了。这说明这些任务并非不可完成。但是,即使是排名第一的模型,也有19%的任务在所有尝试中都失败了。这表明长尾问题远未解决,AI在处理复杂、隐蔽的安全漏洞时仍有明显的短板。

性价比之选

除了准确率,成本也是企业考虑的重要因素。如果看性价比,DeepSeek V4.1 Flash、Claude Opus 5.5和Gemini 4 Argon构成了当前的帕累托前沿。

DeepSeek V4.1 Flash以每次推理0.04美元的成本,实现了57.0%的pass@1准确率。如果你愿意多花点钱,Claude Opus 5.5每次推理成本1.83美元,能将准确率提升约10个百分点。而Gemini 4 Argon虽然以3.92美元的成本略胜一筹,但边际收益是否在预算范围内,就得看具体应用场景了。

对于大多数日常开发场景,DeepSeek这样的模型可能已经足够好用;但对于金融、基础设施等对安全性要求极高的领域,头部模型的那几个百分点的提升,或许值得更高的投入。

如何自己跑这个基准

CWE-bench v2的另一个亮点是易用性。每个任务都是一个独立的Harbor任务,包含一个Docker化环境、指令和确定性验证器。数据集自带一个`registry.json文件,你不需要手动克隆代码库,可以直接通过Hugging Face仓库运行整个基准测试。

首先,你需要接受数据集页面上的访问条件,因为它是 gated(受控访问)的。然后,保存你的HF Token到git凭证助手中:

hf auth login --token $HF_TOKEN --add-to-git-credential

接着,使用Harbor框架运行测试。以下命令会为每个任务运行4次尝试,并计算平均奖励:

harbor run --repo "https://huggingface.co/datasets/collinear-ai/cwe-bench" -d cwe-bench@2.0 -k 4 \
  --agent <agent> --model <model> --env docker \
  --allow-agent-host <model API host>

这里的-k 4表示每个任务跑4次,最终得分是400次试验的平均奖励。这种设置能更好地反映模型的稳定性,避免单次运气的干扰。

值得一提的是,这些任务也被标记为rl-environment。这意味着同样的环境和验证器不仅可以用来评估模型,还可以作为强化学习的奖励信号,用于训练专门的防御型AI代理。这对于希望从头训练安全专用模型的研究团队来说,是一个现成的基础设施。

开放与透明

CWE-bench v2的公开不仅仅是发布一个数据集,更是一种推动行业标准的尝试。通过开源公共集、评分器和测试 harness,Collinear AI希望让更多开发者和研究者参与到评估中来。他们欢迎对任何任务的反馈,也鼓励社区贡献新的任务或改进现有的验证逻辑。

在AI安全这个领域,闭门造车行不通。只有当评估标准足够透明、任务足够真实、结果足够可复现时,我们才能建立起对AI辅助安全修复的信任。目前看来,CWE-bench v2朝着这个方向迈出了扎实的一步。接下来,就看社区如何利用这套工具,去挖掘模型在安全领域的真实潜力了。

本文由本站编辑组整理与排版,内容基于公开信息核实后归纳发布,与文中提及的产品、公司无隶属关系。我们持续跟踪 AI 领域的模型、产品与行业动态,力求信息准确、表述清晰;文中涉及的名称、价格与功能细节可能随官方调整而变化,请以官方最新说明为准。如发现疏漏或表述有误,欢迎通过站内渠道反馈指正。

相关推荐 按相关度与热度排序

全部资讯 →
  1. 谷歌Gemini用新闻报道或侵权:欧盟法院顾问表态

    IT之家 11 月 3 日消息,据路透社报道,欧洲最高法院的一名顾问周二表示,谷歌旗下 Gemini 聊天机器人在回答互联网用户提问时使用新闻报道,在特定情况下可能违反版权规定。 IT之家注意到,这项意见由欧盟法院(CJEU)驻卢森堡的法务总顾问马切伊 · 什普纳尔(Maciej Szpunar)提出,涉及匈牙利网站运

    来源 AI 行业观察
  2. 谷歌Gemini用新闻答问,欧盟法院顾问称特定情形或侵权

    IT之家 11 月 3 日消息,据路透社报道,欧洲最高法院的一名顾问周二表示,谷歌旗下 Gemini 聊天机器人在回答互联网用户提问时使用新闻报道,在特定情况下可能违反版权规定。IT之家注意到,这项意见由欧盟法院(CJEU)驻卢森堡的法务总顾问马切伊 · 什普纳尔(Maciej Szpunar)提出,涉及匈牙利网站运营

    来源 腾讯网
  3. 谷歌Antigravity上线化学信息学技能:1小时筛完数千种化合物

    IT之家 11 月 4 日消息,谷歌 DeepMind 团队昨日(11 月 3 日)发布博文,宣布为 Google Antigravity 推出一套“化学信息学技能”(Cheminformatics Skills),帮助科研人员更快完成药物发现中的文献检索、分子分析、模型构建和新分子设计等工作。 IT之家援引博文介绍,

    来源 AI 行业观察
  4. Google Antigravity加化学信息学技能:肺癌药分子设计1小时完成

    Google DeepMind 为 Antigravity 平台新增化学信息学技能,旨在加速药物发现流程。通过整合 RDKit 等开源工具与大型语言模型,智能体能够自动从文献中提取分子数据、执行匹配分子对分析,并预测新化合物的合成路径。以肺癌药物为例,该工作流将原本需数天的迭代过程缩短至一小时,帮助科学家快速生成可实验

    来源 AI 应用前沿
  5. 谷歌 Data Agent Kit 转正:开源免费,安全分 Skill 与 IAM

    谷歌近期正式发布 Data Agent Kit,结束了整个夏季的预览。它免费、开源,可以安装到非谷歌编码智能体中。它提供两种控制方式,这种差异在生产环境中至关重要。 Data Agent Kit 是一个 MCP 工具集,能够将智能体连接到超过十五项谷歌数据云服务,外加谷歌提供的技能,指导智能体完成 BigQuery S

    来源 AI 行业观察
  6. 腾讯混元Hyra 2.0发布:Agent深度参与科学工具研发

    回顾三个月前,腾讯混元推出了面向通用科研问题的极简 Agent 循环系统 Hyra1.0。在其开源模型 Hy3的驱动下,Hyra 曾成功解决了加法组合学中悬而未决五十多年的核心难题——和集与差集的最优指数,创造了国产开源模型首次全自动解决数学开放问题的历史记录。随后,国际 AI 巨头也纷纷在数学和理论计算机科学领域展开

    来源 AI 开发者社区
  7. 腾讯混元Hy4正式版发布:首次引入视觉能力,API价格不变

    IT之家 11 月 4 日消息,腾讯混元今天(4 日)发布最新一代大语言模型 Hy4 正式版。官方表示,随着模型能力的再次全面跃升,Hy 首次跻身最强开源模型之列。Hy4 将于近期开源模型权重,发布模型系统卡片,并积极推进更负责任的开源,重点关注网络和生物安全等风险。 相比于 Hy4 preview,Hy4 显著扩展了

    来源 AI 行业观察
  8. AI能读二进制了,闭源软件的护城河还剩多宽?

    作者 | Renato Losio译者 | 田橙Reverse Engineer Anything(REA)是一个开源项目,在 GitHub 上已获得超过 20 万个 Star。它将 Claude Code 和 Codex 等编码智能体与 Ghidra、Hopper、IDA 等逆向工程工具连接起来,让开发者能够检查编译

    来源 腾讯网
  9. Anthropic开源FlashProve:17秒验明模型真身,还能抓调包

    智东西(公众号:zhidxcom)编译 | 孙小雯编辑 | 程茜智东西11月4日消息,今天凌晨,Anthropic开源大模型可证明推理系统FlashProve,详细技术报告于11月2日发布。服务商可通过该系统为模型回答生成密码学证明,用户无需获取模型权重或自行运行大模型,就能在CPU上核验输出是否符合指定模型的计算结果

    来源 腾讯网
  10. 百度AI收入首超广告:136亿背后,旧引擎失速与组织重构

    (本文作者为 Tech商业,钛媒体经授权发布)文 | Tech商业原基础模型研发部负责人吴甜的离开,为文心过去一年的承压添了一个人事注脚。。但人事从来只是表层。真正值得追问的是:当百度在2026年连续拆掉职级标签、合并管理通道、把基础模型研发交给一位29岁的外部博士时,它拆掉的究竟是什么?是“楚门世界”的墙,还是墙倒.

    来源 腾讯网
  11. Hyra 2.0 发布:为模型研发打造可复用工具

    三个月前,我们发布了 Hyra 1.0⁽¹⁾:一套面向通用科研问题的、极简的 agent 循环。发布一周后,在开源模型 Hy3 的驱动下,Hyra 解决了加法组合学中一个悬而未决五十多年的问题:和集与差集的最优指数⁽²⁾。这是国产开源模型首次全自动解决数学开放问题。 Hyra 1.0 发布 11 天后,OpenAI 公

    来源 AI 开发者社区
  12. “AI 教父”辛顿:今明两年就有可能发生人工智能领域的切尔诺贝利事故

    IT之家 11 月 4 日消息,诺贝尔奖得主、“AI 教父”Geoffrey Hinton(杰弗里 · 辛顿)近日在接受英国《卫报》采访时表示,人工智能领域今明两年就有可能发生切尔诺贝利等级的事故。 辛顿表示,今年夏天发生的 OpenAI 智能体入侵 Hugging Face 事件是一次类似三哩岛核事故的“警告”。而更

    来源 AI 行业观察
  13. Google给学校出选择题:禁AI就连搜索一起停

    TechCrunch报道,Google宣布学校可以禁用其AI工具,但如果选择全面限制AI,将连带失去Google Search的访问权限,因为AI功能已深度整合进搜索引擎。这一政策让希望规避AI风险的学校陷入两难:要么接受AI,要么放弃全球最常用的搜索工具。此举凸显科技巨头在AI时代对教育市场的争夺,也引发关于学校数字

    来源 AI 科技快讯
  14. AI游戏步入“红果时刻”,腾讯米哈游为何不慌

    AI游戏,再度成为互联网的焦点。 前不久,Anthropic发布了Claude Opus 5.5,重点提升了游戏编程能力,引领大模型重塑游戏开发赛道。 如此一来,AI游戏不再是无足轻重的配角。 开发者不但可以借助大模型快速复刻经典游戏,还可以将不同游戏缝合在一起,颠覆了整个游戏圈的三观。 尽管如此,AI游戏依然任重道远

    来源 AI 行业观察
  15. Hy4发布:首次引入视觉能力,跻身最强开源模型

    刚刚,腾讯混元发布最新一代大语言模型 Hy4。随着模型能力的再次全面跃升,Hy 首次跻身最强开源模型之列。相比于 Hy4 preview,Hy4 显著扩展了预训练和后训练规模,首次引入了视觉能力,并大幅提升了指令遵循、长文理解、长程任务、深度研究等各项综合能力。Hy4 首次引入视觉能力通过视觉理解、推理和工具调用,处理

    来源 腾讯网
  16. 苹果开放Siri第三方AI调用,Anthropic开源模型验证协议

    本期资讯涵盖多项AI基础设施与应用层更新。苹果在iOS 27.3预览版中允许第三方应用接入Siri AI操作,结合个人上下文执行任务。Anthropic开源FlashProve,利用zkSNARK技术在不泄露权重的前提下验证模型输出身份。openJiuwen发布Agent-Memory,引入视听双流记忆以优化长视频理解

    来源 AI 应用前沿
  17. 腾讯混元Hy4发布:首次支持视觉与电脑操作,API价格不变

    快科技11月4日消息,今日,腾讯混元正式发布最新一代大语言模型Hy4,随着模型综合能力大幅提升,Hy首次跻身最强开源模型之列。 相比此前发布的Hy4 Preview,新模型显著扩大了预训练和后训练规模,并首次引入视觉能力,在指令遵循、长文本理解、长程任务执行和深度研究等方面实现全面提升。 视觉能力是Hy4此次升级的一大

    来源 AI 行业观察
向下滚动自动加载更多