Linux/Unix 主机中安装的一个或多个程序包受到一个漏洞影响，而供应商没有提供补丁程序。

  - bpf：修复因原子取指精确跟踪导致的错误剪枝。当backtrack_insn遇到BPF_ATOMIC和BPF_FETCH的BPF_STX指令时，src寄存器（或r0表示BPF_CMPXCHG）也作为目的地，从而从内存位置接收旧值。当前的回溯逻辑并未考虑到这一点。它将原子取指操作视为普通存储，src寄存器仅作为输入。这导致backtrack_insn无法将精度传递到栈位置，导致堆栈位置不被标记为精确！之后，验证者的路径修剪可能会错误地将两个状态视为等价，尽管它们在栈态上不同。也就是说，两个分支可以被视为等价的，因此在不该被视为这样的情况下被修剪。修复如下：在backtrack_insn中扩展BPF_LDX处理，也通过is_atomic_fetch_insn（）辅助工具覆盖原子取指操作。当取指DST寄存器被跟踪以保证精度时，清除它，并将精度传递到栈槽。对于非栈内存，精确游走在原子指令处停止，与普通 BPF_LDX 相同。
    这涵盖了所有取球变体。之前：0：（b7） r1 = 8;R1=8 1： （7b） *（u64 *）（r10 -8） = r1;R1=8 R10=fp0 fp-8=8 2： （b7） r² = 0;R2=0 3： （db） r² = atomic64_fetch_add（（u64 *）（r10 -8）， r²）;R2=8 R10=fp0 fp-8=mmmmmmmm 4： （bf） r3 = r10;R3=fp0 R10=FP0 5： （0f） r3 += r2 mark_precise： frame0： last_idx 5 first_idx 0 subseq_idx -1 mark_precise： frame0： regs=r2 stack= 在4之前： （bf） r3 = r10 mark_precise：
    帧0：regs=r2堆叠=在3之前：（dB） R2 = atomic64_fetch_add（（U64 *）（R10 -8）， R2） mark_precise： frame0：
    regs=r² 栈= 2之前： （b7） r² = 0 6： R²=8 R3=fp8 6： （b7） r₀ = 0;R0=0 7： （95） 退出 之后：0： （b7） r1 = 8;R1=8 1： （7b） *（u64 *）（r10 -8） = r1;R1=8 R10=fp0 fp-8=8 2： （b7） r² = 0;R2=0 3： （db） r² = atomic64_fetch_add（（u64 *）（r10 -8）， r²）;R2=8 R10=fp0 fp-8=mmmmmmmm 4： （bf） r3 = r10;R3=fp0 R10=fp0 5：
    （0f） r3 += r2 mark_precise： frame0： last_idx 5 first_idx 0 subseq_idx -1 mark_precise： frame0： regs=r2 stack= before 4： （bf） r3 = r10 mark_precise： frame0： regs=r2 stack= before 3： （db） r2 = atomic64_fetch_add（（U64 *）（R10 -8）， R2） mark_precise： frame0： regs= stack=-8 before 2： （b7） r2 = 0 mark_precise： 帧0：regs= stack=-8 之前 1： （7b） *（U64 *）（R10 -8） = R1 mark_precise： frame0： regs=r1 stack= before 0： （b7） r1 = 8 6： R2=8 R3=FP8 6： （B7） R0 = 0;R0=0 7： （95） exit （CVE-2026-43009）

请注意，Nessus 依赖供应商报告的程序包是否存在进行判断。

检测

Linux Distros 未修补的漏洞：CVE-2026-43009

high Nessus 插件 ID 311692

版本 1.5