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

  - bpf支援精確度追踪中的堆疊之非 r10 暫存器溢位/填滿。使用指令 (跳躍) 歷程記錄可記錄執行堆疊之暫存器溢位/填入的指令 (無論這是否是透過唯讀 r10 暫存器完成)或任何其他暫存器在將 r10 複製到其中之後*和*可能調整位移。為使此作業可靠運作我們將額外的每個指令旗標推送到指令歷程記錄中編碼堆疊插槽索引 (spi) 以及我們從指令歷程記錄中的 prev_idx 移除的額外 10 位元旗標中的堆疊框架編號。我們不會碰觸 idx 欄位以獲得最佳效能因為它會在回溯期間進行最頻繁的檢查。此變更基本上移除了 BPF 驗證器中精確度回溯邏輯的最後一個實際限制。此版本可修正已知的缺陷但也開啟了減少已驗證狀態數量的新機會這點將在後續的修補程式中進行探索。根據 veristat 的資料自我測試的 BPF 物件檔案中只有三個差異全都在正方向 (較少的狀態)。File Program Insns (A) Insns (B) Insns (DIFF) 狀態 (A) 狀態 (B) 狀態 (DIFF)
    -------------------------------------- ------------- --------- --------- ------------- ----------
    ---------- ------------- test_cls_redirect_dynptr.bpf.linked3.o cls_redirect 2987 2864 -123 (-4.12%) 240 231 -9 (-3.75% ) xdp_synproxy_kern.bpf.linked3.o syncookie_tc 82848 82661 -187 (-0.23%) 5107 5073 -34 (-0.67%) xdp_synproxy_kern.bpf.linked3.o syncookie_xdp 85116 84964 -152 (-0.18%) 5162 5130 - 32 (-0.62%) 請注意我沒有將 jmp_history 重新命名為更通用的 insn_hist 以將變更的行數和 bpf 與 bpf-next 樹狀結構之間的潛在合併衝突降至最低。另請注意cur_hist_entry 指標會在指示驗證迴圈開始時重設為 NULL。此指標可避免依賴上次跳躍歷程記錄項目的 insn_idx 來判斷我們是否已有適用於目前指示的項目的問題。我們可能會因為目前的指令 is_jmp_point() 而新增跳躍歷程記錄項目但我們也需要新增堆疊存取的指令旗標。在此情況下我們不想要 項目因此必須重複使用最後新增的項目 (若存在)。仰賴 insn_idx 比較具有與最近在 [0] 中修正的相同模糊性問題因此我們避免了這種情況。 [0] https://patchwork.kernel.org/project/netdevbpf/patch/20231110002638.4168352-3-andrii@kernel.org/(CVE-2023-52920)

請注意，Nessus 依賴供應商報告的套件存在。

偵測

Linux Distros 未修補的弱點：CVE-2023-52920

medium Nessus Plugin ID 225936

版本 1.22