Anthropic-Reported Linux BPF Verifier Fixes Merged Into Mainline Kernel
terryyuezhuo · x · 2026-09-07
A batch of Linux kernel BPF fixes stemming from Anthropic reports has been merged into mainline by Linus Torvalds (bpf-fixes). The verifier fixes address bugs reported by Nicholas Carlini, including incorrect non-NULL inference in pointer comparisons, precision tracking issues with bpfloop() callbacks and half-dead zero spills, and rejection of BPFPSEUDOFUNC references to the main program. Further fixes cover percpu map updates, NULL-pointer derefs in bpfsnprintfbtf(), and an out-of-bounds access in the disassembler. Notable example of AI-assisted discovery of real kernel-level bugs.
More from Safety
- A 13KB Markdown file can hijack Claude Code and Codex via your Downloads folder — pbaylies · 2026-10-26
- If an agent can rewrite itself, does your consent still mean anything? — tallmetommy · 2026-10-26
- 109 of 529 AI Agent Incidents Involved No Adversary, Arguing Red Teams Must Test Normal Operation — anacondainc · 2026-10-26
- Cryptographer Matthew Green: if your code looks vulnerable, fix it now — matthew_d_green · 2026-10-26
- Filtering secrets on the write path: why agent memory deserves more suspicion at ingest than retrieval — Classic-Being-7960 · 2026-10-26
- After OpenCode key leak: 5 practical rules for keeping keys away from agents — jacobholm_dev · 2026-10-26