ウィルスバスターのdmpファイルは削除してもOK（だと思う）

PC入れ替え時期が近いのでディスクの整理をしていたらProgram Filesのウィルスバスターのフォルダがかなり大きいことに気付いた。
で、みてみたらなんじゃこりゃ？

死ぬほど巨大な*.dmpファイルが多数ある。
dmpって拡張子は何かと思い調べたらどうやらこんな感じらしい。

.dmpとは、アプリケーションの実行中に障害が発生した際、それを監視していた「ワトソン博士」と呼ばれるツールが作成する障害記録（クラッシュダンプ）のファイルに付く拡張子のことである。
.dmp ダンプとは：この拡張子のファイルを開くには？ - 拡張子辞典 - IT用語辞典バイナリ

つーことで消してもよいらしい。

こんなにディクスを占拠しておったのか。
早速削除してみたが特に何の問題も起こってない。
なので、削除しても大丈夫だろう。