Linux/Unix ホストには、ベンダーが提供するパッチが利用できない脆弱性の影響を受ける複数のパッケージがインストールされています。

  - bpf:原子的フェッチ精度トラッキングによる誤った剪定を修正backtrack_insn BPF_ATOMICとBPF_FETCHのBPF_STX命令に遭遇すると、srcレジスタ(またはBPF_CMPXCHGの場合はr0)が宛先としても機能し、メモリ位置から古い値を受信します。現在のバックトラッキングのロジックではこれを考慮していません。アトミックフェッチ操作は通常のストアと同様に扱い、srcレジスタは入力のみとなります。これにより、backtrack_insnが精度をスタックの位置に伝播できず、その位置が正確としてマークされなくなります! 後に、検証者のパスプルーニングはスタック状態が異なる場合、2つの状態を誤って同値とみなすことがあります。つまり、二つの枝が同等扱いされ、本来見るべきでないのに剪定される可能性があるということです。次のように修正します:backtrack_insnのBPF_LDX処理を拡張し、is_atomic_fetch_insn()ヘルパーを使ってアトミックフェッチ操作もカバーします。フェッチDSTレジスタが精度のために追跡される際は、それをクリアし、精度をスタックスロットに伝播させます。非スタックメモリの場合、精密歩行は通常のBPF_LDXと同様に原子命令で停止します。
    これはすべての取ってこいバリエーションをカバーしています。前:0:(b7) r1 = 8 ;R1=8 1: (7b) *(u64 *)(r10 -8) = r1 ;R1=8 R10=fp0 fp-8=8 2: (b7) r2 = 0 ;R2=0 3: (db) r2 = atomic64_fetch_add((u64 *)(r10 -8), r2) ;R2=8 R10=fp0 fp-8=mmmmmmmm 4: (bf) r3 = r10 ;R3=FP0 R10=FP0 5: (0f) r3 += r2 mark_precise: frame0: last_idx 5 first_idx 0 subseq_idx -1 mark_precise: frame0: regs=r2 stack= 4の前: (bf) r3 = r10 mark_precise:
    frame0: regs=r2 stack= 3 前: (dB) R2 = atomic64_fetch_add((U64 *)(R10 -8), R2) mark_precise: frame0:
    regs=r2 スタック= 2の前:(b7) r2 = 0 6: R2=8 R3=FP8 6: (b7) R0 = 0;R0=0 7: (95) 終了 後:0: (b7) r1 = 8 ;R1=8 1: (7b) *(u64 *)(r10 -8) = r1 ;R1=8 R10=fp0 fp-8=8 2: (b7) r2 = 0 ;R2=0 3: (db) r2 = atomic64_fetch_add((u64 *)(r10 -8), r2) ;R2=8 R10=fp0 fp-8=mmmmmmmm 4: (bf) r3 = r10 ;R3=fp0 R10=fp0 5:
    (0f) r3 += r2 mark_precise: frame0: last_idx 5 first_idx 0 subseq_idx -1 mark_precise: frame0: regs=r2 stack= before 4: (bf) r3 = r10 mark_precise: frame0: regs=r2 stack= 3より前: (db) r2 = atomic64_fetch_add((u64 *)(R10 -8), r2) mark_precise: frame0: regs= stack=-8 before 2: (b7) r2 = 0 mark_precise: frame0: regs= スタック=-8 1: (7b) *(U64 *)(R10 -8) = R1 mark_precise: frame0: regs=r1 スタック= Before 0: (B7) R1 = 8 6: R2=8 R3=FP8 6: (B7) R0 = 0;R0=0 7: (95) 出口(CVE-2026-43009)

Nessus は、ベンダーによって報告されたパッケージの存在に依存していることに注意してください。

検出

Linux Distros のパッチ未適用の脆弱性: CVE-2026-43009

high Nessus プラグイン ID 311692

バージョン 1.5