【活用ガイド】

JVNDB-2026-011132

OCamlにおける整数オーバーフローの脆弱性

概要

OCaml 4.14.3 までの Bigarray.reshape には、信頼できないデータを処理する際に整数オーバーフローが発生し、その結果として任意のメモリを読み取ることが可能になる脆弱性があります。
CVSS による深刻度 (CVSS とは?)

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


OCaml
  • OCaml 4.14.3 およびそれ以前

想定される影響

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

参考情報を参照して適切な対策を実施してください。
ベンダ情報

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

  1. 整数オーバーフローまたはラップアラウンド(CWE-190) [その他]
共通脆弱性識別子(CVE)  CVEとは?

  1. CVE-2026-34353
参考情報

  1. National Vulnerability Database (NVD) : CVE-2026-34353
  2. 関連文書 : github.com (https://github.com/ocaml/ocaml/pull/14674)
  3. 関連文書 : github.com (https://github.com/ocaml/ocaml/issues/14655)
更新履歴

  • [2026年04月16日]
      掲載