// AI 新闻 · 2026-11-12 · Google AI Changelog
Google 使用 Gemini 与 Z3 捕获 Go 代码中模糊测试遗漏的潜在崩溃
Google 工程师在测试 Go 代码时，结合 Go 编译器的边界检查陷阱、Gemini 4 Argon 模型和 Z3 约束求解器，发现传统模糊测试未能识别的潜在崩溃。该方法针对解析器和 Go 命令行工具中的关键函数，通过编译生成的机器码分析存活的边界检查陷阱，并由 Gemini 4 Argon 将控制流路径转化为 Z3 可执行约束，从而生成可复现的崩溃输入。
原文发布 2026-11-12 08:00（北京时间）来源 Google AI Changelog自动整理 · 已核对原文
01摘要
该流程在测试中成功定位了预先植入的三个缺陷，并发现了技能库 lint 工具中的三个潜藏问题。由于 Go 编译器会将无法证明安全的索引操作编译为明确的 panic 陷阱，在优化阶段保留的陷阱成为求解器的目标，结合 RISC-V 架构下的反汇编信息，模型能准确识别关键路径。最终通过 go test 对生成的输入进行验证，确认了所有发现的崩溃均为真实问题。
由开源模型根据原文自动整理，经数字/专名逐项核对（必须在原文中出现），以原文为准。
02要点
- 利用 Go 编译器保留的边界检查陷阱与 Gemini 4 Argon 模型结合，识别模糊测试遗漏的潜在崩溃。
- Gemini 4 Argon 将汇编路径转化为 Z3 约束，生成可复现的崩溃输入，由 go test 验证真实性和有效性。
- 该方法在解析器和 Go CLI 工具中成功发现多个潜藏缺陷，包括预先植入和未被检测到的 bug。
- 基于 SMT 求解器的流程效率高，每函数耗时约一分钟，且无需完整形式化证明即可实现有效漏洞挖掘。
03原文出处
Catch Go bugs that fuzzing misses with Gemini and a constraint solver
Google AI Changelog · 发布于 2026-11-12 08:00（北京时间） · 上方为原标题
05相关新闻
- 同来源 · 谷歌Agent异常检测在公开基准测试中表现优异2026-11-12 · Google AI Changelog
- 同来源 · Google发布A2UI 1.0开放协议以支持生成式交互界面2026-11-11 · Google AI Changelog
- 同主题 · Hugging Face 推出 TRELLIS.2 模型微调指南2026-11-12 · Hugging Face Blog
- 同主题 · 谷歌推Home更新修复Nest摄像头直播问题并优化Nest Hub与Gemini2026-11-12 · 9to5Google
- 同日 · 语言模型对齐的理论极限研究2026-11-12 · Apple Machine Learning Research
出自智图 AI 新闻：从 1100 多个官方与媒体信源采集。摘要只转述原文内容，详情请看原文。 2026-11-12 全部新闻 · 按日期归档 · 全部 AI 新闻 · 今日