Anthropic 报告的 Linux BPF 验证器漏洞修复合并进内核主线
terryyuezhuo · x · 2026-09-07
多份来自 Anthropic 的报告促成了一批 Linux 内核 BPF 修复，已由 Linus Torvalds 合并主线（bpf-fixes）。主要修复由 Alexei Starovoitov 汇总，其中验证器（verifier）修复针对 Nicholas Carlini 报告的 bug，包括：
- 指针比较中的错误非 NULL 推断：运行时可能为 NULL 的指针、无界偏移指针、JMP32 与零比较、不精确的零寄存器。
- 半死零溢出、ldabs/ldind 隐式子程序退出、bpfloop() 回调、关联标量 ID、NULL 调用参数的精度跟踪修复。
- 拒绝对主程序的 BPFPSEUDOFUNC 引用、修复 arena 32 位 cmpxchg 零扩展等。
另有 percpu map 更新、bpfsnprintfbtf() 空指针解引用、反汇编器越界访问等多处修复。这是 AI 辅助发现并修复真实内核级安全漏洞的实例。
「安全」频道最新
- 欧盟将 ChatGPT 认定为超大型在线搜索引擎,明年 1 月前须履行 DSA 新义务 — thione · 2026-09-07
- 谷歌发布 Gemini 3.8 Flash 与 Flash Cyber，低成本 agent 模型再升级 — thione · 2026-09-07
- Anthropic 发布 Claude Fable 5.1：agentic 负载最多降价约 45% — thione · 2026-09-07
- AI诈骗邮件泛滥，专家称此法极其有效 — chrisalbon · 2026-09-07
- Luiza Jarovsky:AI 治理无计划,人类困于「无力感循环」 — LuizaJarovsky · 2026-09-07
- Astra 智能体 allegedly 击穿现有 CAPTCHA 验证码 — eyishazyer · 2026-09-07