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
- EU designates ChatGPT a Very Large Online Search Engine under the DSA — thione · 2026-09-07
- Google Releases Gemini 3.8 Flash and Flash Cyber, Upgrading Its Low-Cost Agentic Model — thione · 2026-09-07
- Anthropic Ships Claude Fable 5.1: Up to ~45% Cheaper for Agentic Workloads, Plus Restricted Mythos 5.1 — thione · 2026-09-07
- AI scam emails rampant, expert says method must be highly effective — chrisalbon · 2026-09-07
- Luiza Jarovsky: there is no plan for AI safety—society is stuck in a powerlessness cycle — LuizaJarovsky · 2026-09-07
- Google's Astra Agent Allegedly Crushes Existing CAPTCHAs, Sparking Rethink of Bot Checks — eyishazyer · 2026-09-07