知識マップ: size_tをintに入れる警告は無視してよいか？

記事「size_tをintに入れる警告は無視してよいか？」の主張を、概念と関係(エッジ)に分解した知識グラフの全体です。各関係には根拠・確認日・確度が付いています。

size_tをintに入れる代入は、GCCの-Wconversionとclangの-Wshorten-64-to-32で警告されるが、-Wallと-Wextraでは警告されない。CVE-2025-6021の原因になった修正前のxmlBuildQNameの2行は、どちらのオプションでも指摘される。MSVCではC4267がこの変換の警告に当たる。足し算のオーバーフローは型の変換の警告では分からず、UndefinedBehaviorSanitizerが、その値の入力で動かしたときに報告する。キャストで警告を消しても、intに入る値とオーバーフローは変わらない。

flowchart LR
    accTitle: size_tをintに入れる警告とCVE-2025-6021の知識マップ
    accDescr: 修正前のxmlBuildQNameの代入を指摘するGCCの-Wconversionとclangの-Wshorten-64-to-32、MSVCのC4267、足し算のオーバーフローを実行時に報告するUndefinedBehaviorSanitizer、CVE-2025-6021との関係を示す図。
    gcc_wconversion["-Wconversion(GCC)"]
    clang_wshorten_64_to_32["-Wshorten-64-to-32"]
    msvc_c4267["C4267"]
    xmlbuildqname["xmlBuildQName"]
    cve_2025_6021["CVE-2025-6021"]
    libxml2["libxml2"]
    integer_overflow["整数オーバーフロー"]
    undefinedbehaviorsanitizer["UndefinedBehaviorSanitizer"]
    xmlbuildqname -.->|"で確認できる"| gcc_wconversion
    xmlbuildqname -.->|"で確認できる"| clang_wshorten_64_to_32
    cve_2025_6021 -->|"前提とする"| xmlbuildqname
    libxml2 -->|"実装を担う"| xmlbuildqname
    integer_overflow -.->|"で確認できる"| undefinedbehaviorsanitizer

概念間の関係(全5件)

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

• xmlBuildQNameは-Wconversion(GCC)で確認できます。修正前のlibxml2 2.14.3のxmlBuildQNameでstrlenの結果をintに入れる2行(tree.cの183行と184行)は、GCC 13.3.0に-Wconversionを足すと警告される。-Wallと-Wextraでは警告されない。libxml2 2.14.3全体では953件の警告が出て、うち341件が-Wconversionの警告だった。修正後の2.14.4では、この2行は警告されない。 / 確度: 条件付きの関係 / 確認日: 2026-11-14 出典 出典
• xmlBuildQNameは-Wshorten-64-to-32で確認できます。同じ2行は、clang 18.1.3に-Wshorten-64-to-32を足すと警告される。libxml2 2.14.3全体では251件の警告が出て、修正後の2.14.4ではこの2行の分の2件が減った。 / 確度: 条件付きの関係 / 確認日: 2026-11-14 出典 出典
• CVE-2025-6021はxmlBuildQNameを前提とします。CVE-2025-6021は、修正前のxmlBuildQNameがstrlenの結果をintに入れ、その合計で容量を確かめていたことが原因だった。報告の値では、代入ではなく足し算でintの上限を超える。 / 確度: 確立した関係 / 確認日: 2026-11-14 出典 出典
• libxml2はxmlBuildQNameの実装を担います。xmlBuildQNameはlibxml2のtree.cにある関数。libxml2 2.14.3のCMakeの設定は-Wallと-Wextraなどを渡すが、-Wconversionと-Wshorten-64-to-32は入っていない。 / 確度: 確立した関係 / 確認日: 2026-11-14 出典 出典
• 整数オーバーフローはUndefinedBehaviorSanitizerで確認できます。足し算のオーバーフローは型の変換の警告では分からない。UndefinedBehaviorSanitizerのsigned-integer-overflowの検査は、名前の長さを2,147,483,637バイトにして動かしたときに10行目のオーバーフローを報告した。報告が出るのは、その値の入力で動かしたときだけ。 / 確度: 条件付きの関係 / 確認日: 2026-11-14 出典

主要概念の定義

-Wconversion(GCC)

値が変わりうる暗黙の型変換を警告するGCCのオプション。-Wallと-Wextraが有効にするオプションには含まれず、明示的なキャストは警告しない。

-Wshorten-64-to-32

暗黙の変換で整数の精度が失われることを警告するClangのオプション。-Wconversionを指定した場合にも有効になる。

C4267

size_tからそれより小さい型への変換を検出したときにMSVCが出すレベル3の警告。intへの変換では64ビットのプラットフォームでだけ出る。

xmlBuildQName

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

CVE-2025-6021

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

libxml2

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

整数オーバーフロー

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

機械可読データ

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

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

作成

合同会社小村ソフト

ライセンス

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

最終確認日

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

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