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 辅助发现并修复真实内核级安全漏洞的实例。
「安全」频道最新
- 安全专家：让 AI 智能体按 NIST CSF 搭知识库做应急响应 — prasanna_says · 2026-10-26
- 中国首个前沿AI安全独立评测实验室「方寸跃迁」成立并首发DeepSeek评测 — JacquesThibs · 2026-10-26
- ESR 谈「Bug 崩坏潮」：封堵前沿模型只会让中国开源模型占便宜 — colinmcnamara · 2026-10-26
- OpenCode 披露安全漏洞:1.4% Console 用户 API 密钥泄露 — thione · 2026-10-26
- 美国 DHS 下令民用机构系统移除 DeepSeek 并禁止采购 — thione · 2026-10-26
- 一名黑客用 AI 攻破超 100 家公司网站,数据失窃规模未知 — thione · 2026-10-26