libxml3

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

概念URI

https://comcomponent.com/knowledge/libxml3/

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• 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 出典 出典

この概念を扱う記事

• libxml2のxmlBuildQNameで、なぜ容量の検査が働かなかったのか？(言及)

一次資料

• https://github.com/gomurin0428/libxml3

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