【活用ガイド】

JVNDB-2026-013243

LinuxのLinux Kernelにおける境界外書き込みに関する脆弱性

概要

Linuxカーネルにおいて、以下の脆弱性が修正されました：bpfにおけるINT_MINに対するインタプリタのsdiv/smodの未定義動作を修正しました。BPFインタプリタの符号付き32ビット除算および剰余の処理では、s32オペランドに対してカーネルのabs()マクロを使用しています。abs()マクロのドキュメント（include/linux/math.h）には、入力が型の最小値の場合、結果が未定義であると明記されています。DSTがS32_MIN（0x80000000）を含む場合、abs((s32)DST)は未定義動作を引き起こし、arm64/x86上でS32_MINをそのまま返します。この値はその後符号拡張されてu64の0xFFFFFFFF80000000となり、do_div()で誤った結果を算出します。検証器の抽象解釈（scalar32_min_max_sdiv）は範囲追跡のために数学的に正しい結果を計算しており、これが検証器とインタプリタ間の不一致を生み、境界外のマップ値アクセスが悪用される可能性があります。abs_s32()を導入し、符号付きオーバーフローを完全に回避するために、S32_MINを符号なしのu32にキャストしてから符号反転を行う形で正しく処理します。インタプリタのsdiv32/smod32ハンドラ内のabs((s32)...)の呼び出し箇所8か所をすべて置き換えています。s32のみが影響を受け、s64の除算/剰余ハンドラではabs()を使用していません。
CVSS による深刻度 (CVSS とは?)

CVSS v3 による深刻度
基本値: 7.8 (重要) [その他]
  • 攻撃元区分: ローカル
  • 攻撃条件の複雑さ: 低
  • 攻撃に必要な特権レベル: 低
  • 利用者の関与: 不要
  • 影響の想定範囲: 変更なし
  • 機密性への影響(C): 高
  • 完全性への影響(I): 高
  • 可用性への影響(A): 高
影響を受けるシステム


Linux
  • Linux Kernel 6.13 以上 6.18.21 未満
  • Linux Kernel 6.19 以上 6.19.11 未満
  • Linux Kernel 6.6 以上 6.6.131 未満
  • Linux Kernel 6.7 以上 6.12.80 未満
  • Linux Kernel 7.0

想定される影響

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

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

CWEによる脆弱性タイプ一覧  CWEとは?

  1. 境界外書き込み(CWE-787) [NVD評価]
共通脆弱性識別子(CVE)  CVEとは?

  1. CVE-2026-31525
参考情報

  1. National Vulnerability Database (NVD) : CVE-2026-31525
  2. 関連文書 : bpf: Fix undefined behavior in interpreter sdiv/smod for INT_MIN - kernel/git/stable/linux.git - Linux kernel stable tree (https://git.kernel.org/stable/c/694ea55f1b1c74f9942d91ec366ae9e822422e42)
  3. 関連文書 : bpf: Fix undefined behavior in interpreter sdiv/smod for INT_MIN - kernel/git/stable/linux.git - Linux kernel stable tree (https://git.kernel.org/stable/c/f14ca604c0ff274fba19f73f1f0485c0047c1396)
  4. 関連文書 : bpf: Fix undefined behavior in interpreter sdiv/smod for INT_MIN - kernel/git/stable/linux.git - Linux kernel stable tree (https://git.kernel.org/stable/c/9ab1227765c446942f290c83382f0b19887c55cf)
  5. 関連文書 : bpf: Fix undefined behavior in interpreter sdiv/smod for INT_MIN - kernel/git/stable/linux.git - Linux kernel stable tree (https://git.kernel.org/stable/c/c77b30bd1dcb61f66c640ff7d2757816210c7cb0)
  6. 関連文書 : bpf: Fix undefined behavior in interpreter sdiv/smod for INT_MIN - kernel/git/stable/linux.git - Linux kernel stable tree (https://git.kernel.org/stable/c/0d5d8c3ce45c734aaf3c51cbef59155a6746157d)
更新履歴

  • [2026年04月30日]
      掲載

公表日2026/04/22
登録日2026/04/30
最終更新日2026/04/30