知識マップ: libxml2のxmlBuildQNameで、なぜ容量の検査が働かなかったのか？

記事「libxml2のxmlBuildQNameで、なぜ容量の検査が働かなかったのか？」の主張を、概念と関係(エッジ)に分解した知識グラフの全体です。各関係には根拠・確認日・確度が付いています。

CVE-2025-6021はlibxml2のxmlBuildQNameの脆弱性で、接頭辞とローカル名から求めた必要なバイト数がintの上限を超えると容量の検査が働かず、呼び出し側のバッファの外へ書き込む。修正前のlibxml2 2.14.3ではAddressSanitizerが範囲外への書き込みを検出した。同じ式をSPARKで書くとGNATproveがオーバーフローの可能性を報告し、Adaでは実行時にConstraint_Errorで止まる。libxml3は長さを上限の内側で測ってから足し、その計算をGNATproveで証明している。

flowchart LR
    accTitle: CVE-2025-6021とxmlBuildQName、整数オーバーフローの知識マップ
    accDescr: CVE-2025-6021がxmlBuildQNameの整数オーバーフローからバッファオーバーランとサービス妨害につながる関係と、AddressSanitizerでの検出、GNATproveとlibxml3、Adaとの関係を示す図。
    cve_2025_6021["CVE-2025-6021"]
    xmlbuildqname["xmlBuildQName"]
    integer_overflow["整数オーバーフロー"]
    libxml2["libxml2"]
    buffer_overrun["バッファオーバーラン"]
    denial_of_service["サービス妨害(DoS)"]
    addresssanitizer["AddressSanitizer"]
    gnatprove["GNATprove"]
    ada["Ada(プログラミング言語)"]
    libxml3["libxml3"]
    spark["SPARK"]
    libxml2 -->|"実装を担う"| xmlbuildqname
    cve_2025_6021 -->|"前提とする"| xmlbuildqname
    integer_overflow -.->|"原因になり得る"| buffer_overrun
    cve_2025_6021 -->|"原因になり得る"| buffer_overrun
    cve_2025_6021 -->|"原因になり得る"| denial_of_service
    buffer_overrun -->|"で確認できる"| addresssanitizer
    integer_overflow -->|"で確認できる"| gnatprove
    ada -.->|"軽減する"| buffer_overrun
    libxml3 -->|"利用する"| spark
    libxml3 -.->|"実装を担う"| xmlbuildqname

概念間の関係(全10件)

図と同じ関係を文章でも列挙します。表示している文と機械可読な意味データ(RDFa)は同じ要素に載っています。確度が「確立した関係」のものは直接の関係として、「条件付きの関係」のものは成立条件つきの言明(rdf:Statement)として表現しています。

• libxml2はxmlBuildQNameの実装を担います。xmlBuildQNameはlibxml2のtree.cにある関数で、接頭辞とローカル名からprefix:nameの形の名前を組み立てる。 / 確度: 確立した関係 / 確認日: 2026-11-13 出典
• CVE-2025-6021はxmlBuildQNameを前提とします。呼び出し側のバッファの外へ書き込むには、NULLではない接頭辞とローカル名、書き込み先のバッファを渡してxmlBuildQNameが呼ばれ、2つの長さの合計が2,147,483,646バイト以上であることが必要。合計の値はこの記事で修正前のコードから導いた。libxml2のパーサーは名前の長さを制限しているので、保守担当者はパーサーは影響を受けないはずだと述べている。記事の実測では、ツリーを作るAPIで作った要素を検証の関数の1つ（xmlValidNormalizeAttributeValue）に渡した場合にも、libxml2 2.14.3で同じ大きさの範囲外への書き込みが検出された。 / 確度: 確立した関係 / 確認日: 2026-11-13 出典 出典 出典 出典
• 整数オーバーフローはバッファオーバーランの原因になることがあります。修正前のxmlBuildQNameは必要なバイト数をintで計算していた。必要なバイト数がintの上限を超えると容量の検査が偽になり、足りないバッファが書き込み先に選ばれて、その外へ書き込む。修正は長さをsize_tで持ち、足す前に結果が型に収まることを確かめる。 / 確度: 条件付きの関係 / 確認日: 2026-11-13 出典 出典
• CVE-2025-6021はバッファオーバーランの原因になることがあります。CVEの記録は、バッファの大きさの計算での整数オーバーフローがスタック上のバッファの範囲外への書き込みにつながると説明し、問題の種類をCWE-787としている。 / 確度: 確立した関係 / 確認日: 2026-11-13 出典 出典
• CVE-2025-6021はサービス妨害(DoS)の原因になることがあります。CVEの記録は結果としてメモリ破壊とサービス妨害を挙げている。Red HatのCVSS 3.1の評価は可用性への影響だけを高としている。 / 確度: 確立した関係 / 確認日: 2026-11-13 出典
• バッファオーバーランはAddressSanitizerで確認できます。記事の実測では、libxml2 2.14.3をAddressSanitizerつきでビルドし、報告と同じ値でxmlBuildQNameを呼ぶと、100バイトのバッファへの2,147,483,637バイトの書き込みがstack-buffer-overflowとして検出された。libxml2 2.14.4では検出されなかった。上流の報告にも同じ書き込みのAddressSanitizerの出力がある。 / 確度: 確立した関係 / 確認日: 2026-11-13 出典 出典
• 整数オーバーフローはGNATproveで確認できます。修正前と同じ形の判定をSPARKのIntegerで書くと、GNATproveが足し算についてoverflow check might failを報告する。libxml3のBuildでは、必要なバイト数を求める足し算のオーバーフローの検査が証明された。 / 確度: 確立した関係 / 確認日: 2026-11-13 出典 出典
• Ada(プログラミング言語)はバッファオーバーランを軽減します。同じ式をAdaのIntegerで書いて報告と同じ値で呼ぶと、足し算でConstraint_Errorが送出され、書き込みには進まなかった。例外を処理しなければプログラムは止まるので、サービス妨害の余地は残る。pragma Suppressでオーバーフローの検査を外した場合は、この限りではない。 / 確度: 条件付きの関係 / 確認日: 2026-11-13 出典 出典
• libxml3はSPARKを利用します。libxml3はXMLの処理をAda/SPARKで書いている。xmlBuildQNameに当たるXML3_Text.QNames.Buildは、上限から2バイトを引いた範囲で名前を測り、残りの範囲で接頭辞を測ってから足す。 / 確度: 確立した関係 / 確認日: 2026-11-13 出典 出典
• libxml3はxmlBuildQNameの実装を担います。libxml3はlibxml2に似たCのAPIの一部としてxmlBuildQNameを提供する。必要なバイト数が上限を超える入力にはNULLを返し、この点は新しい領域を確保して返すlibxml2 2.14.4と違う。ポインターが指す領域の実際の大きさとバイトの読み書きは証明の外にある。 / 確度: 条件付きの関係 / 確認日: 2026-11-13 出典 出典

主要概念の定義

CVE-2025-6021

2025年6月に公開されたlibxml2の脆弱性。xmlBuildQNameで接頭辞とローカル名から求めた必要なバイト数がintの上限を超えると容量の検査が働かず、呼び出し側のバッファの範囲外へ書き込む。libxml2 2.14.4と2.13.9で修正された。

xmlBuildQName

接頭辞とローカル名からprefix:nameの形の名前(QName)を組み立てる、libxml2のAPIの関数。呼び出し側が渡したバッファに収まればそこへ書き、収まらなければ新しい領域を確保する。

整数オーバーフロー

整数の演算結果が、その型で表せる範囲を超えること。言語と設定によって、例外・パニック・折り返しのいずれかになる。Adaでは、値が型の基本範囲に収まるかを確かめるOverflow_Checkに失敗すると、実行時にConstraint_Errorが送出される。

libxml2

GNOMEプロジェクトのために開発が始まった、Cで実装されたXMLのツールキット。XMLのパーサーとツリーを扱うAPIを提供する。

バッファオーバーラン

配列やバッファの範囲外への書き込み・読み込みが起こる現象。C/C++で長年セキュリティ脆弱性の主要原因とされてきた。

Ada(プログラミング言語)

1970年代後半にアメリカ国防総省の主導で標準化された、強い型付けと高信頼性を重視する汎用プログラミング言語。最新標準はAda 2022。

libxml3

Ada/SPARKで書いたXMLの処理と、libxml2に似たCのAPIの一部を提供する、小村ソフトの実験的なプロジェクト。libxml2.so.2と同じABIや完全な互換性は提供しない。

機械可読データ

• JSON-LD / Turtle ── この記事の知識グラフ全体
• 概念一覧 / 語彙(述語)の定義

このデータセットについて

作成

合同会社小村ソフト

ライセンス

CC BY 4.0 ── 出典(合同会社小村ソフト)とライセンスへのリンクを明示し、改変した場合はその旨を示すことを条件に、再配布・改変を含めて再利用できます

最終確認日

2026-11-13 ── 収録する関係のうち、最後に出典と照合した日

このページはサイトの知識グラフ(_data/knowledge/)から自動生成されています。誤りの指摘はお問い合わせからお願いします。