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

  - bpf：修复推测指针算法中的 REG INVARIANTS VIOLATION 以下列非特权程序为例：r0 = bpf_map_lookup_elem（...） /* PTR_TO_MAP_VALUE，偏移量 0 */ ...14： r0 += r1 /* r1 是有界标量 */ 15： r9 = r0 加载它会触发来自 reg_bounds_sanity_check（） 的校验器警告： 校验器缺陷： REG INVARIANTS VIOLATION （alu）： const subreg tnum 与范围边界 r64={.base=0x0， .size=0x0} r32={.base=0x0， .size=0xffffffff} var_off=（0x0， 0x0） 会发生什么： 1. 处理 adjust_ptr_min_max_vals（） 中的 insn 14 （r0 += r1）， 新的偏移计算为 dst_reg 的 var_off 和 32/64 位范围。2. 因为指针寄存器不跟踪 32 位子寄存器边界，__mark_reg32_unbounded（） 首先将 r32 设置为全范围;r32 由 reg_bounds_sync（） 从函数末尾的偏移量重新导出。3. 在非特权路径上，调用 sanitize_ptr_alu（） 并通过 sanitize_speculative_path（） -> push_stack（） 对当前寄存器状态进行快照，并计划下一条指令 （insn 15） 作为推测路径直接进行验证。4. 该快照是在第 2 步和最终 reg_bounds_sync（） 之间拍摄的：此时，dst_reg 的 var_off 仍然保留 （const） 原始偏移量，而 r32 刚刚被空白到整个范围，即两者不同步。当推理路径稍后验证 insn 15 （r9 = r0） 时，不一致状态会达到 reg_bounds_sanity_check（） 并触发警告。var_off和 32 位范围必须始终保持一致。
    有两种方法可以保持快照的一致性：1. 在快照之前同步 var_off 和 r32 以使其匹配，或者 2. 将 r32 保留为原始值（已经一致），仅在快照后将其清空。
    sanitize_ptr_alu（） 的全部意义在于插入一个无害的掩码序列，使边界中的访问保持在推测之下，因此它快照的状态应该忠实地表示这一点。采取方法 2：
    将 __mark_reg32_unbounded（） 移动到 sanitize_ptr_alu（） 之后），以使推测快照保持指针原始的一致 r32。非推测路径保持不变：在应用偏移量之前，r32 仍为空白，并通过 reg_bounds_sync（） 重新派生。（CVE-2026-98151）

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

检测

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

medium Nessus 插件 ID 350514

版本 1.15