コードをチェックして問題（となる可能性のある箇所）を検出するプログラム