情報処理学会 第78回全国大会講演要旨

C言語でデバッグ困難なものに、バッファオーバフローによるメモリ破壊のバグがある。通常はデバッガのウォッチポイントを用いるが、ループ制御変数のように正当な代入が多い場合には破壊を発見するのは困難である。メモリ破壊のバグは規則的な変化を壊しているので、変数の変更履歴を記録して可視化することで、破壊的な代入を捕捉することができる。本論文ではIntel CPUとLinuxの上でのCプログラムを対象として、変更履歴の記録にGDBのrecord機能を利用する。変更履歴はグラフとして表示し、グラフ上の点を選択することで該当する代入までデバッギの実行を遡らせる。本論文では実装の詳細と典型的な適用事例について述べる。