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

  - bpf:JSET 後に tnum を調整する際に範囲を忘れます Syzbot は、以下の BPF プログラムで範囲不変の違反があるため、カーネル警告を報告しました。0:bpf_get_netns_cookieを呼び出します 1:r0 == 0 の場合、goto <exit> 2:r0 &; Oxffffffff の場合、goto <exit> 問題は、両方のジャンプを抜けるパスにあります。そのパスはランタイムで到達できません:insn 1の後では、r0 != 0がわかっていますが、jsetの符号拡張機能では、r0 == 0の場合、insn 2のみをフォールスルーします。残念ながら、is_branch_taken()は現在これを把握できないため、検証機能はすべてのブランチをウォークします。次に、検証機能は 2 番目の条件を使用してレジスタの範囲を細かく調整すると、この到達不能なパスの境界が一貫していません: 1: r0 == 0 の場合、 r0 <exit> に移動します。
    u64=[0x1, 0xffffffffffffffff] var_off=(0, 0xffffffffffffffff) 2: r0 &; 0xffffffff goto の場合、 <exit> reg_bounds_sync: u64=[0x1, 0xffffffffffffffff] var_off=(0, 0) reg_bounds_sync: u64=[0x1, 0] var_off=(0, 0) すべてのケースをカバーするように JSET の範囲の改良を改善するのは困難です。また、LLVMがこれらの命令を生成しないことを考えると、多くのユーザーがJSETに依存するとは思われません。そのため、Eduard氏は、JSETの範囲の絞り込みを改善する代わりに、JSETの後にtnumを絞り込むときはいつでも範囲を忘れることを提案しました。このパッチは、そのアプローチを実装します。(CVE-2025-39748)

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

検出

Linux Distros のパッチ未適用の脆弱性: CVE-2025-39748

medium Nessus プラグイン ID 264755

バージョン 1.36