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

  - bpf不报告推测路径上缺少 bpf_scc_visit 的验证器缺陷 Syzbot 生成的程序可触发可能_exit_scc() 中的 verifier_bug() 调用。 maybe_exit_scc() 假设当为某些 SCC 中 insn_idx 的状态调用时应存在为该 SCC 分配的 struct bpf_scc_visit 实例。事实证明该假设对推测执行路径不成立。请参阅下一个修补程序中的示例。对于分支计数达到零的状态即特定路径的路径探索已完成从 update_branch_counts() 调用可能_scc_exit()。可以通过以下三种方式之一完成路径探索发现验证错误。在这种情况下，仅会针对非推测性路径调用 update_branch_counts()。 b.已达到顶级 BPF_EXIT。此类指令绝不是 SCC 的一部分因此maybe_scc_exit() 中的 compute_scc_callchain() 将返回 falsemaybe_scc_exit() 将提早返回。 c。
    已到达并匹配检查点。检查点由 is_state_visited() 创建而 is_state_visited() 会调用可能_enter_scc()而后者为 SCC 内的检查点分配 bpf_scc_visit 实例。因此，对于非推测符号执行路径该假设仍然成立如果在 SCC 内的某个状态调用可能_scc_exit()则必须存在 bpf_scc_visit 实例。此修补程序删除推测路径的 verifier_bug() 调用。 (CVE-2025-40143)

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

检测

Linux Distros 未修补的漏洞：CVE-2025-40143

medium Nessus 插件 ID 275283

版本 1.1