2天时间,聊今年最热的 Agent、上下文工程、AI 产品创新等话题。2025 年最后一场~ 了解详情
写点什么

谷歌 DeepMind 推出 CodeMender:自动修复代码的智能代理

作者:Robert Krzaczyński

  • 2025-10-17
    北京
  • 本文字数:999 字

    阅读完需:约 3 分钟

大小:485.94K时长:02:45
谷歌 DeepMind 推出 CodeMender:自动修复代码的智能代理

谷歌 DeepMind 推出了 CodeMender,这是一款由 AI 驱动的新型智能代理,能够自动检测、修复并加固软件漏洞。该项目基于最新的推理模型与程序分析技术,旨在减少开发者在定位和修补安全问题上花费的时间。

 

传统的漏洞检测方法,比如静态分析和模糊测试(fuzzing),虽然长期以来对发现安全漏洞非常有用,但仍然需要大量人工验证与手动修补。CodeMender 采取了更全面的方式——将自动化漏洞发现与基于 AI 的修复和验证相结合。在过去的六个月中,CodeMender 已经为开源项目贡献了 72 个经过验证的补丁,其中一些项目的代码量超过了 400 万行。

 

研究团队表示,CodeMender 结合了大型推理模型、静态与动态分析、模糊测试以及符号求解器等多种技术,用来推理程序的行为。当系统检测到漏洞时,会生成多个修复候选方案,并通过自动化测试验证这些补丁是否真正解决了根本问题,同时不会破坏现有功能或引入新的错误。只有通过验证的修复方案,才会提交给人工进行最终审查并合并到上游代码中。

 

早期的修复案例包括:修复一个与 XML 栈处理错误有关的堆缓冲区溢出问题,以及通过较为复杂的代码修改解决了一个对象生命周期管理漏洞。此外,系统还支持主动防御机制——例如,在一个案例中,CodeMender 自动为广泛使用的 libwebp 图像库添加了安全注解,从而防止特定类型的缓冲区溢出攻击在未来被利用。

 

社区对该项目的反响普遍积极。CogMap CEO Javid Farahani 评论道:

非常令人印象深刻。自动化修复让 AI 从‘发现风险’迈向‘主动强化基础设施’。验证层是关键——信任将取决于这些系统在修复时能否做到稳定可靠、没有副作用。

 

在 Reddit 上,用户们则讨论了这种自动化可能对网络安全未来的影响。一位用户提问

想知道这种机器人以后会不会一直在后台运行?

 

另一位用户回复说:

会的——而且黑客也会用这些模型来找漏洞。谁拥有最新的模型和最强的算力,谁就占优势。也许未来不是 DDoS 攻击了,而是劫持设备来跑对抗性模型。

 

尽管长期影响仍有待观察,DeepMind 表示,目前所有由 CodeMender 生成的补丁在正式合并之前都会经过人工审核。团队强调“可靠性”和“透明性”是该项目的核心原则,并计划在接下来的几个月中发布技术报告和评估结果。

 

CodeMender 是一个研究型项目,它展示了 AI 如何以全新的方式推动开源生态的发展——通过自动化的检测、修复与防护,让软件系统变得更安全、更稳定。


原文链接:https://www.infoq.com/news/2025/10/codemender/

2025-10-17 13:005362

评论

发布
暂无评论

MPLS网络向SRv6网络演进

穿过生命散发芬芳

8月月更 SRv6

云原生时代下,微服务体系与 Serverless 架构的发展、治理与融合

阿里巴巴云原生

阿里云 Serverless 微服务 云原生

开源一夏 | 对于jQuery选择器和动画效果停止动画的实战心得【前端jQuery框架】

恒山其若陋兮

开源 8月月更

SpringBoot实战:国际化组件MessageSource的执行逻辑与源码

看山

源码 spring源码 MessageSource Spring原理 SpringBoot实战

C++对象模型和this指针实例分析(二)

CtrlX

c++ 后端 面向对象思想 热门活动 8月月更

2022-Java后端工程师面试指南-(计算机网络)

自然

网络 8月月更

OpenHarmony像素单位

坚果

开源 OpenHarmony 8月月更

Java+EasyExcel实现文件导入导出

Bug终结者

Java 8月月更

《编程的原则》读书笔记(一):编程的前提和准则

Chares

软件工程 软件开发 程序开发 编程原理

【LeetCode】算术三元组的数目Java题解

Albert

LeetCode 8月月更

企业文化如何治好“企业内耗”?

涛哥 数字产品和业务架构

企业文化 企业架构

Go-Excelize API源码阅读(三)——OpenReader()

Regan Yue

Go 开源 源码分析 8月日更 8月月更

即将开幕!阿里云飞天技术峰会邀您一同探秘云原生最佳实践

阿里巴巴云原生

阿里云 云原生 阿里云飞天技术峰会

2022-Java后端工程师面试指南-(消息队列)

自然

Rocket Rabbit MQ 8月月更

MySQL 指令

武师叔

8月月更

Ingress Nginx 接连披露高危安全漏洞,是否有更好的选择?

阿里巴巴云原生

阿里云 Kubernetes 云原生 ingress

关于架构的认知

yuexin_tech

架构

Sass.vs.Less | 简介

Jason199

SaaS 8月月更

毕业总结

Geek_701557

Spring(四、配置数据源)

开源 MySQ Druid 8月月更

leetcode 232. Implement Queue using Stacks 用栈实现队列(简单)

okokabcd

LeetCode 数据结构与算法 栈和队列

低成本、大容量、高交互…Polkadot 引领 GameFi 实现新突破

One Block Community

区块链

深入了解 Spring篇之BeanDefinition结构

邱学喆

对象初始化 BeanDefinition 对象创建 属性注入 对象检索

rocketmq整合SpringCloudStream

急需上岸的小谢

8月月更

Python 教程之输入输出(7)—— 如何在 Python 中不使用换行符进行打印?

海拥(haiyong.site)

Python 8月月更

模块九(电商秒杀系统)

Geek_701557

一文带你搞懂OAuth2.0

闫同学

Go 后端 OAuth 2.0

Python爬虫eval混淆,爬虫进阶实战系列

梦想橡皮擦

Python 爬虫 8月月更

测试也应该具备的项目管理能力

老张

项目管理 质量保障

深入浅出边缘云 | 6. 监控与遥测

俞凡

架构 边缘计算 网络 深入浅出边缘云

详解中断系统

timerring

8月月更

谷歌 DeepMind 推出 CodeMender:自动修复代码的智能代理_AI&大模型_InfoQ精选文章