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

  - bpf：保留 sync_linked_regs（） 中的暫存器 ID sync_linked_regs（） 會在使用 known_reg 的關閉將 known_reg 的邊界傳播到 reg 時，但當 known_reg 連結到 reg 時，會將 known_reg 的 ID 複製到 reg，例如：known_reg = reg ;known_reg 和 reg 都獲得相同的 ID known_reg += 4 ;known_reg off = 4，當調用 sync_linked_regs（） 時，它的 id 現在會BPF_ADD_CONST，假設如下：
    如果 known_reg >= 10，則 GoTo PC+2 known_reg 的新邊界會傳播至 REG，但現在 REG 會從副本中取得BPF_ADD_CONST。這意味著如果創建了另一個指向 reg 的鏈接，例如：another_reg = reg ;another_reg應該取得 reg 的 ID，但 assign_scalar_id_before_mov（） 在 reg 上看到 BPF_ADD_CONST 並指派新 ID。
    由於 reg 現在有了新 ID，因此 known_reg 與 reg 的連結已中斷。如果我們找到known_reg的新邊界，它們將不會傳播到 reg。這可以在下一次提交中新增的自檢中看出：0：（85） 調用 bpf_get_prandom_u32#7 ;R0=純量（） 1： （57） r0 &= 255 ;
    R0=純量（smin=smin32=0，smax=umax=smax32=umax32=255，var_off=（0x0; 0xff）） 2： （bf） r1 = r0 ;
    R0=純量（id=1，smin=smin32=0，smax=umax=smax32=umax32=255，var_off=（0x0; 0xff）） R1=純量（id=1，smin=smin32=0，smax=umax=smax32=umax32=255，var_off=（0x0; 0xff）） 3： （07） r1 += 4 ;
    R1=scalar（id=1+4，smin=umin=smin32=umin32=4，smax=umax=smax32=umax32=259，var_off=（0x0; 0x1ff）） 4：（a5） 如果 r1 < 0xa轉到 PC+4 ;R1=scalar（id=1+4，smin=umin=smin32=umin32=10，smax=umax=smax32=umax32=259，var_off=（0x0;
    0x1ff）） 5： （bf） r2 = r0 ;R0=scalar（id=2，smin=umin=smin32=umin32=6，smax=umax=smax32=umax32=255） R2=scalar（id=2，smin=umin=smin32=umin32=6，smax=umax=smax32=umax32=255） 6：（a5） 如果 r1 < 0xe轉到 PC+2 ;
    R1=scalar（id=1+4，smin=umin=smin32=umin32=14，smax=umax=smax32=umax32=259，var_off=（0x0; 0x1ff）） 7：（35） if r0 >= 0xa goto pc+1 ;R0=純量（id=2，smin=umin=smin32=umin32=6，smax=umax=smax32=umax32=9，var_off=（0x0;
    0xf）） 8： （37） r0 /= 0 div 乘以零 當驗證 4 時，r1 的邊界會傳播到 r0，但 r0 也會BPF_ADD_CONST （錯誤）。驗證 5 時，r0 會取得新 ID （2），且其與 r1 的連結會中斷。在 6 之後，我們知道 r1 有邊界 [14， 259]，因此 r0 應該有邊界 [10， 255]，因此始終採用 7 處的分支。但由於 r0 的 id 已變更為 2，因此 r1 的新邊界不會傳播至 r0。驗證者仍然認為 r0 在 7 之前有邊界 [6， 255]，並且執行可以達到零的 div。透過在 sync_linked_regs（） 中保留 ID 來解決此問題，例如 off 和 subreg_def。CVE-2026-45933

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

偵測

Linux Distros 未修補弱點：CVE-2026-45933

high Nessus Plugin ID 317681

版本 1.6