JVNDB-2026-016728

LinuxのLinux Kernelにおける境界外読み取りに関する脆弱性

Linuxカーネルにおいて、以下の脆弱性が修正されました。bpf: BPF_OR用のmaybe_fork_scalars()における不適切なスカラー分岐を修正しました。maybe_fork_scalars()はソースオペランドが定数の場合にBPF_ANDおよびBPF_ORの両方で呼び出されます。dstの符号付き範囲が[-1, 0]の場合、検証状態を分岐させます。分岐先のパスはdst=0、現在のパスはdst=-1となります。BPF_ANDの場合、これは正しく（0 & K == 0）ですが、BPF_ORの場合は誤っています（0 | K == Kであり0ではありません）。したがって分岐先のパスは実行時の値がKであるにもかかわらずdstを0として追跡し、検証器と実行時の不整合を生み、境界外のマップアクセスを可能にする悪用可能な状態を作り出していました。この問題は、push_stack()にenv-insn_idx（env-insn_idx + 1ではなく）を渡すことで修正されており、分岐先のパスがdst=0でALU命令を再実行し、任意のオペコードに対して自然に正しい結果を計算するようになりました。

Linux

• Linux Kernel 6.12.75 以上 6.12.80 未満
• Linux Kernel 6.18.16 以上 6.18.21 未満
• Linux Kernel 6.19.6 以上 6.19.11 未満

当該ソフトウェアが扱う全ての情報が外部に漏れる可能性があります。
また、当該ソフトウェアが扱う全ての情報が書き換えられる可能性があります。
さらに、当該ソフトウェアが完全に停止する可能性があります。
そして、この脆弱性を悪用した攻撃の影響は、他のソフトウェアには及びません。

リリース情報、またはパッチ情報が公開されています。参考情報を参照して適切な対策を実施してください。

1. 境界外読み取り(CWE-125) [NVD評価]

1. CVE-2026-31413

1. National Vulnerability Database (NVD) : CVE-2026-31413
2. 関連文書 : bpf: Fix unsound scalar forking in maybe_fork_scalars() for BPF_OR - kernel/git/stable/linux.git - Linux kernel stable tree (https://git.kernel.org/stable/c/58bd87d0e69204dbd739e4387a1edb0c4b1644e7)
3. 関連文書 : bpf: Fix unsound scalar forking in maybe_fork_scalars() for BPF_OR - kernel/git/stable/linux.git - Linux kernel stable tree (https://git.kernel.org/stable/c/c845894ebd6fb43226b3118d6b017942550910c5)
4. 関連文書 : bpf: Fix unsound scalar forking in maybe_fork_scalars() for BPF_OR - kernel/git/stable/linux.git - Linux kernel stable tree (https://git.kernel.org/stable/c/d13281ae7ea8902b21d99d10a2c8caf0bdec0455)
5. 関連文書 : bpf: Fix unsound scalar forking in maybe_fork_scalars() for BPF_OR - kernel/git/stable/linux.git - Linux kernel stable tree (https://git.kernel.org/stable/c/342aa1ee995ef5bbf876096dc3a5e51218d76fa4)

• [2026年05月22日]
    掲載