プログラム sf.net/projects/catchconv

符号付き整数と符号なし整数の間で変換エラーをキャッチするテスト入力の自動生成。STP 決定手順で動作する Valgrind プラグイン (個別にダウンロード)。設定手順についてはhttp://catchconv.pbwiki.com/を参照してください。