CVE-2026-31413-BPF-Container-Escape

CVE-2026-31413: 从 BPF 验证器中的一个字节到容器逃逸 我在 Linux BPF 验证器中找到一个健全性漏洞——pushstack 调用中的 + 1 导致验证器在分叉路径上跳过一条 ALU 指令。对于 BPFOR，这意味着验证器跟踪 dst = 0，而 CPU 实际计算 0 | K = K。我编写了一个完整的容器逃逸利用：从 BPF map 进行越界（OOB）读写、劫持 vtable、覆盖 modprobepath，最终在宿主机上获得 root 权限。随后我提交了一个包含两个补丁的补丁系列——一个单字符的验证器修复和 90 行 selftests——并将其合并到主线内核...