広範な実用Cプログラムに適用可能かつ高精度な動的境界検査ツール(ソフトウェア開発支援, システム開発論文)