自動的にプログラム自身がプログラム内のあらゆる状況を
検査してバグを発見してくれるような自動バグ検出ソフトって
出来る？