微软 FORGE Lab 用 AI Agent 工具揪出 Rust 核心库内存安全问题
jedisct1 · x · 2026-11-10
微软 FORGE Lab 发布研究，用 agentic 工具（研究版工具 Hyenas/MDASH）在 Rust 核心库与 std 库中发现多处内存安全问题，包括完全用 safe Rust 写的代码也可能触发未定义行为的案例。
- 研究归纳出 unsafe 代码中三类被错置的信任：信任代码不会 panic、信任用户提供的实现是正确的、信任底层系统
- 已发现的问题涉及迭代器克隆、字符串替换及与操作系统的交互
- 团队结合 AI 辅助漏洞发现与技术调查，复现了 bug、评估了安全影响，并与 Rust 维护者协作完成修复
「编程与Agent」频道最新
- 作者公开 AI 编排器真实 Prompt：切片规划+怀疑式子代理复审 — thatroblennon · 2026-11-10
- 社区写出 clean-copy 技能：让 Claude 自动删掉冗余 UI 文案 — floguo · 2026-11-10
- 「换双眼睛再查一遍」：两个 fresh-eye 提示词显著降低 AI 写码低级错误 — doodlestein · 2026-11-10
- InstructGPT 共同作者发布 Jev 工程 PDF,称 agent 成本最高降 400 倍 — Redo · 2026-11-10
- 三个 coding-agent 本周安全补丁：Mistral Vibe 等修复漏洞 — alvelda · 2026-11-10
- Node 全量重写为 Go 后作者发问:AI 写代码还要开发友好语言吗 — rakyll · 2026-11-10