タグ「C」の記事

size_tをintに入れる警告は無視してよいか？

2026年11月14日 01:00

size_tをintに入れる警告を無視してよいかを、libxml2のCVE-2025-6021で確かめます。GCCとclangのどのオプションが該当行を指摘するか、キャストで消すと何が残るか、実行時の検査で分かる範囲を実測でまとめます。

libxml2のxmlBuildQNameで、なぜ容量の検査が働かなかったのか？

2026年11月13日 01:00

CVE-2025-6021は、libxml2のxmlBuildQNameで必要なバイト数がintの上限を超えると容量の検査が働かず、バッファの外へ書き込む脆弱性です。原因と修正を実測で確かめ、同じ計算をSPARKで証明した例と比べます。

画像処理の境界外アクセスをSPARKで証明する ── 2値化・平滑化・ラベリングとCとの速度比較

2026年11月10日 01:00

画像処理のコードが画像の外を読み書きしないことを、SPARKのGNATproveで証明します。2値化、3×3の平滑化、ラベリングを例に、証明の書き方と証明していない範囲、検査を外したときのCとの速度の差を実測でまとめます。

Ada と C / C# をつなぐ ── DLL を作って呼び出す

2026年11月01日 12:10

Adaで共有ライブラリを作り、CとC#から呼ぶ手順を実際に動かして説明します。Interfaces.CとConvention => C、gprbuildの設定、初期化、文字列とメモリの持ち主、例外の扱い、AdaからWindowsのDLLを呼ぶ方法まで扱います。