upditype.exe makejvf.exe dvi2tty.exeなどがウイルス検出されたがこれらのファイル名的にtex関連のファイルなんじゃないかと

dviなんたらとかいうファイルを見るとTEX関連のファイルじゃないかと思ってしまうんだが・・・

Nortonでリスク高としてウイルス検出されたファイルたち

updvitype.exe
makejvf.exe
dvi2tty.exe


これらは危険なのだろうか？
まあ、危険なんだろうな。
と思うことにしておく。