Linux/Unix 主機上安裝了一個或多個受到弱點影響的套件，且廠商未提供可用的修補程式。

  - bpf：由於下列 BPF 程式上的範圍不變違規，JSET Syzbot 報告核心警告後，在精簡 tnum 時忘記範圍。0：調用 bpf_get_netns_cookie 1：如果 r0 == 0 goto <exit> 2：如果 r0 &; Oxffffffffff goto <exit> ：問題出在我們從兩次跳躍中掉下來的路徑上。該路徑在運行時無法到達：在 insn 1 之後，我們知道 r0 ！= 0，但使用 jset 上的符號擴展名，如果 r0 == 0，我們只會貫穿 insn 2。不幸的是，is_branch_taken（） 目前無法弄清楚這一點，因此驗證者遍歷所有分支。然後，驗證者使用第二個條件細化暫存器邊界，我們最終在這條無法到達的路徑上得到不一致的邊界：1：如果 r0 == 0 goto <exit> r0：
    u64=[0x1， 0xffffffffffffffff] var_off=（0， 0xffffffffffffffff） 2：如果 r0 &; 0xffffffff 在 reg_bounds_sync 之前轉到 <exit> r0：u64=[0x1， 0xffffffffffffffff] var_off=（0， 0） reg_bounds_sync後的 r0：u64=[0x1， 0] var_off=（0， 0） 改進 JSET 的範圍細化以涵蓋所有情況是很棘手的。我們也不希望許多用戶依賴 JSET，因為 LLVM 不生成這些指令。因此，Eduard 建議我們不要改進 JSET 的範圍細化，而是建議我們在 JSET 之後縮小 tnum 時忘記範圍。此修補程式會實作該方法。（CVE-2025-39748）

請注意，Nessus 的判定取決於廠商所報告的套件是否存在。

偵測

Linux Distros 未修補的弱點：CVE-2025-39748

medium Nessus Plugin ID 264755

版本 1.34