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

  - bpf：修正直譯器 sdiv/smod 中未定義的行為INT_MIN BPF 直譯器的有號 32 位元除法與模組處理程序在 s32 運算元上使用 kernel abs（） 巨集。abs（） 巨集文件（include/linux/math.h）明確表示，當輸入為型別最小值時，結果為未定義。當 DST 包含 S32_MIN （0x80000000） 時，abs（（s32）DST） 會觸發未定義行為，並在 arm64/x86 上回傳S32_MIN不變。此值隨後以符號擴展至 u64 作為 0xFFFFFFFF80000000，導致 do_div（） 計算錯誤結果。驗證器的抽象詮釋（scalar32_min_max_sdiv）計算出數學上正確的範圍追蹤結果，造成驗證器與解譯器的不匹配，進而被利用以取得超出範圍的地圖值。引入 abs_s32（），透過在負值前先投擲到 u32，正確處理S32_MIN，完全避免有符號溢出。在直譯器的 sdiv32/smod32 處理器中替換所有 8 個 abs（（s32）...） 呼叫站點。S32 是唯一受影響的案例——S64 部門/Modulo 處理員不使用 ABS（）。（CVE-2026-31525）

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

偵測

Linux Distros 未修補的弱點：CVE-2026-31525

high Nessus Plugin ID 309800

版本 1.16