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

  - bpf修正當來源運算元為常數時maybe_fork_scalars() 中的不健全純量分支問題。當 dst 具有已簽署的範圍 [-1, 0] 時它會分歧驗證器狀態推送的路徑取得 dst = 0、目前路徑取得 dst = -1。對於 BPF_AND這是正確的
    0 & K == 0。若為 BPF_OR這是錯誤的 0 | K == K而非 0。因此當運行時間值為 K 時推送的路徑將 dst 追踪為 0進而產生可惡意利用的驗證器/運行時間分歧進而允許超出邊界對應存取。透過傳送 env->insn_idx (而非 env->insn_idx + 1) 至 push_stack() 來修正此問題如此推送的路徑會重新執行 dst = 0 的 ALU 指令並自然而然地計算任何 opcode 的正確結果。 (CVE-2026-31413)

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

偵測

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

medium Nessus Plugin ID 306374

版本 1.2