広範な実用Cプログラムに適用可能かつ高精度な動的境界検査ツール

摘要

あらまし　Cプログラムの境界検査手法は現在まで継続的に提案されている．それらのうち，実用コードとの互換性が高くかつ誤検出率の低い手法は，実行時に仝有効オブジェクトの境界をheap領域上の表を用いて管理する手法である．しかし，この手法は現状，低レベルなCプログラムに適用することができない．我々はこの問題を解決する検査機構及びその実装を提案する．実験の範囲内で，我々の検査機構に基づく境界検査器はLinuxカーネルを含む広範な実用Cプログラムを高精度に検査できることを確認した．