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

  - bpf以下の BPF プログラムにおける範囲不変の違反によるカーネル警告を JSET Syzbot が報告した後に tnum を微調整する際に範囲を記憶します。 0bpf_get_netns_cookie を呼び出します 1r0 == 0 の場合 goto <exit> 2r0 & Oxffffffff の goto の場合 <exit> 問題は、両方のジャンプを通過するパスにあります。そのパスは、ランタイムに到達できません。insn 1以降、r0 != 0はわかりますが、jsetの符号拡張がある場合、r0 == 0の場合にのみinsn 2をフォールスルーします。残念ながら、is_branch_taken()は現在がこれを検出したため、検証機能はすべてのブランチを実行します。検証者は 2 番目の条件を使用してレジスター境界を改良し、最終的にはこの到達不能パスで境界が一貫性なくなります 1: if r0 == 0 goto <exit> r0:
    u64=[0x1, 0xffffffffffffffff] var_off=(0, 0xffffffffffffff) 2: r0 および 0xffffffff goto <exit> reg_bounds_sync より前の r0 の場合 u64=[0x1, 0xffffffffff] var_off=(0x1, 0xffffffffffff) var_off=(0x1, 0xffffffffffff) var_off=(0, 0) reg_bounds_sync 後の r0 u64=[0x1, 0] var_off=(0, 0) すべてのケースをカバーするように JSET の範囲の改良を改善するのは、スマイリーです。また、LLVM がそのような命令を生成しない場合、多くのユーザーが JSET に依存することもないと想定されます。Eduard では、JSET の範囲の絞り込みを改善する代わりに、JSET 後に tnums を狭めるときは常に範囲を忘れずに、という提案をしました。このパッチはそのアプローチを実装します。CVE-2025-39748

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

検出

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

medium Nessus プラグイン ID 264755

バージョン 1.21