CVE-2026-43321Linux内核BPF验证器中存在安全漏洞。在处理`gotox rX`间接跳转指令时,compute_insn_live_regs()函数未能正确标记rX寄存器为已使用。这导致寄存器活性分析逻辑出现错误,攻击者可利用此缺陷绕过验证器的严格检查,构造恶意的eBPF程序在内核空间执行任意读写操作,从而导致本地权限提升。
该漏洞位于Linux内核eBPF验证器的寄存器活性分析逻辑中。验证器是eBPF系统的核心安全组件,负责确保eBPF程序在内核中的执行不会破坏系统稳定性或安全性。其中一项关键任务是通过compute_insn_live_regs()函数跟踪寄存器的存活状态,以辅助死存储消除(DSE)等优化。然而,在处理间接跳转指令`gotox rX`时,该函数存在逻辑缺陷,未将目标寄存器rX标记为已使用。这一遗漏会导致验证器对寄存器状态的判断错误,可能允许程序在后续执行中使用未初始化的寄存器值,或者错误地优化掉必要的边界检查。攻击者可利用此漏洞构造特制的eBPF代码,在验证器误判的情况下将其加载到内核运行,进而实现任意内存读写,修改进程凭据,最终从低权限用户提升至Root权限。