首页 > AI头条  > 正文

谷歌 AI 模型“Big Sleep”成功发现 SQLite 致命漏洞,传统测试失效!

2024-11-05 17:42 · 来源: AIbase基地

谷歌近日宣布,其最新开发的 AI 模型 “Big Sleep” 成功在 SQLite 数据库中发现了一处内存安全漏洞。这一漏洞是一种可被利用的栈缓冲下溢问题,令该代码在正式发布前得以修复。Big Sleep 是谷歌 Project Zero 与 DeepMind 的合作成果,被视为早期 Project Naptime 的升级版。

黑客 泄露

SQLite 作为一种开源数据库引擎,这一漏洞可能使攻击者通过恶意构造的数据库或 SQL 注入,导致 SQLite 执行崩溃或甚至实现任意代码执行。具体来说,问题源于一个魔法值 -1意外被用作数组索引,虽然代码中有 assert () 来捕获这一问题,但在发布版本中,该调试级别的检查会被移除。

谷歌指出,利用这一漏洞并不简单,然而更重要的是,这是 AI 首次在真实世界软件中发现已知漏洞。根据谷歌的说法,传统的模糊测试(fuzzing)方法未能找到这个问题,但 Big Sleep 的确做到了。经过分析项目源代码的一系列提交,Big Sleep 在10月初锁定了这个漏洞,并在同一天内得到了修复。

谷歌在11月1日的公告中表示,这一研究成果在防御方面有着巨大的潜力。虽然模糊测试已经有了显著的成效,但谷歌团队认为需要一种新方法来帮助开发者发现那些难以通过模糊测试找到的漏洞,他们对 AI 在这方面的能力充满期待。

在此之前,位于西雅图的 Protect AI 公司也推出了一款名为 Vulnhuntr 的开源工具,声称可以利用 Anthropic 的 Claude AI 模型在 Python 代码库中发现零日漏洞。然而,谷歌团队强调,这两个工具的用途不同,Big Sleep 发现的是与内存安全相关的漏洞。

目前,Big Sleep 仍处于研究阶段,之前主要在已知漏洞的小型程序上进行测试。此次则是其首次在真实环境下进行实验。为了进行测试,研究团队收集了 SQLite 代码库的几个最新提交,并在分析后,调整了模型的提示内容,最终找到了这个漏洞。

尽管取得了这一成就,谷歌团队提醒大家,这些结果仍然属于高度实验性阶段,当前目标特定的模糊测试在发现漏洞方面可能同样有效。

划重点:  

🔍 ** 谷歌的 AI 模型 Big Sleep 首次发现 SQLite 内存安全漏洞。**  

🛠️ ** 该漏洞在正式发布前即被修复,标志着 AI 在漏洞发现方面的新进展。**  

📊 ** 尽管取得了成果,但谷歌强调目前的结果仍属实验性,模糊测试仍然有效。**

  • 相关推荐
  • AI日报:智谱上线PPT生成功能AI Slides;可灵 AI 发布可图2.1模型

    本文介绍了AI日报栏目及近期AI领域多项突破性进展:1)智谱推出免费AI Slides工具,基于GLM模型快速生成高质量PPT;2)可灵AI发布可图2.1模型,支持180多种风格图像生成;3)NVIDIA推出DiffusionRenderer技术,实现视频到可编辑3D场景转换;4)墨刀AI新增30秒生成高保真原型功能;5)Higgsfield推出Soul ID工具,10张照片即可生成虚拟形象;6)谷歌DeepMind开源GenAI Processors工具库;7)谷歌Veo新增图像转视频功能;8)Mistral AI发布专为代码建模的Devstral2507系列模型。这些创新展示了AI在内容生成、3D建模、产品设计等领域的快速发展。

  • A日报:Stability AI发布实时重建模型SPAR3D;火山引擎“奇美拉”数字人平台启动封测;京东重磅开源JoyAgent-JDGenie

    AI日报栏目精选了人工智能领域最新动态:1)Stability AI推出0.7秒单图3D重建模型SPAR3D;2)GitHub热门开源AI协作框架CrewAI获3.4万星;3)马斯克发布儿童AI聊天机器人Baby Grok引发安全争议;4)ComfyUI-C opilot工具简化AI工作流创建;5)CNNIC报告显示我国346款生成式AI完成备案;6)提示词管理工具AI Gist上线;7)开源语言学习工具WordPecker支持多语言学习;8)斯坦福推出多工具协作AI Agent OctoTools;9)Ope

  • ZEROBASE 宣布与 Aligned Layer 建立战略合作,共同打造以太坊生态中高吞吐、低成本的零知识证明验证基础设施

    Aligned Layer是一个去中心化的ZK验证层网络,通过EigenLayer的再质押机制继承以太坊安全性,为开发者提供链下快速验证任意证明系统的能力。其原生验证器采用Rust编写,不依赖EVM且支持多验证路径,能批量校验证明后发布到任意L1/L2链上。ZEROBASE通过集成Aligned的快速验证通道,构建了结构化验证网络,支持批量验证与递归聚合,实现高吞吐、低成本的ZK证明验证。双方合作实现了从链下任务调度到链上最终确认的无缝衔接,为以太坊生态提供了兼具性能与安全性的验证基础设施。

  • 王腾:REDMI Turbo 4 Pro非常成功 很多友商都在关注

    REDMI总经理王腾发文表示,REDMI上半年发布的Turbo 4 Pro非常成功,受到了广大用户的喜爱,也收到了很多友商的关注。 据悉,REDMI Turbo 4 Pro于4月份发布,首发起售价是1999元,该机上市不到一个月累计销量突破100万台,成为行业内最火的Turbo手机。 随着REDMI Turbo系列的热销,各大品牌纷纷推出Turbo系列手机,主打高性能,对此王腾表示,领先的一种体现就是被模仿,说明REDMI这几�

  • ​汽车软件质量管控新范式:AI 驱动的智能座舱测试革新(Testin云测案例)

    文章概述了汽车产业智能化转型趋势,指出智能化、网联化、电动化"三驾马车"正重塑行业格局。重点介绍了Testin云测凭借XAgent智能座舱AI测试系统入选"2025汽车智能服务企业TOP50",成为唯一获选的AI测试服务商。该系统融合机器视觉、自然语言处理等AI技术,支持跨端自动化测试,实现测试效率提升3倍、缺陷检测率提升55%,帮助某头部车企节省超千万元测试成本。文章强调AI测试技术正成为解决汽车软件质量与安全难题的关键,Testin云测作为行业先行者,将持续推动汽车产业智能化升级。

  • 告别模型搜寻困境:AIbase模型广场让你高效找到最佳AI模型

    文章探讨了在AI技术快速发展背景下,如何高效发现和评估适合需求的AI模型这一核心挑战。传统方式存在模型分散、评估门槛高、应用场景模糊等问题。AIbase模型广场通过聚合主流平台模型、提供多维度评估(性能指标、用户反馈、易用性等)、强化场景连接(按业务问题分类)和部署辅助信息,构建了完整的模型发现与应用生态。该平台能显著提升效率,帮助开发者快速锁�

  • TDBC大会揭幕:百度智能云再造数据与AI新连接,激活大模型生命线

    中国通信标准化协会等机构联合主办的"TDBC2025可信数据库发展大会"在京召开。会上公布了上半年"可信数据库"评估测试结果,百度智能云向量数据库VectorDB成为国内首批完成测试的向量数据库产品。该测试覆盖稠密向量检索、多向量检索、标量向量融合检索三种场景,评估指标包括索引构建时间、QPS、延迟、资源占用等多个维度。百度智能云总架构师朱洁指出,超过50%的AI项目时间消耗在数据治理环节,提出构建"智能数据基座"实现数据统一管理,形成"Data+AI+App"闭环。百度智能云通过湖仓一体架构提升AI训练数据效率,智能调度CPU/GPU算力优化资源分配,预计到2028年多数生成式AI应用将直接基于企业数据平台构建。

  • AI日报:美图发布影像AI Agent RoboNeo;1.8bit量化Kimi K2模型上线;亚马逊推AI代码编辑器 Kiro

    【AI日报】今日AI领域重要动态:1)美图推出RoboNeo,通过自然语言指令实现图片精修、品牌设计等全能影像处理;2)Unsloth AI将Kimi K2模型量化至1.8bit,体积缩减78%保持性能;3)谷歌Gemini嵌入模型登顶MTEB榜单,超越OpenAI;4)亚马逊发布免费AI代码编辑器Kiro,集成Claude模型;5)Claude新增应用工具目录功能提升工作效率;6)MiniMax完成近3亿美元融资,估值超40亿美元;7)UTCP新协议让AI代理直

  • 全球优质AI语音大模型盘点:Whisper、Gemini Speech

    本文分析了当前主流AI语音大模型的核心优势与应用场景。全球顶尖模型包括:OpenAI Whisper(多语言识别与翻译)、Google Gemini(情感化语音生成)、Meta AudioCraft(音乐创作与风格转换)。国内讯飞星火(方言识别)、阿里通义(电商客服)、百度文心(车载场景)表现突出。技术突破点在于云端协同架构、零样本克隆和情感语音合成。选择模型需考虑语言支持、场景适配、部署

  • 某幻君助力索尼原创音浪季,BilibiliWorld 现场解锁音频黑科技

    索尼在BilibiliWorld展会上打造沉浸式音乐体验,以"为音乐而生"理念呈现专业音频设备组合。现场设置录音棚体验区,观众可使用C-80麦克风和MDR-M1监听耳机感受专业录音效果。同时展出旗舰降噪耳机WH-1000XM6等产品,展现索尼70年音频技术积淀。活动还推出"索尼原创音浪季"赛事,邀请B站UP主某幻君等音乐人现场表演,通过前沿科技支持音乐创作。索尼中国高管现场

今日大家都在搜的词: