hmm, das würde ich etwas genauer untersuchen. Natürlich ist jeder Entwickler frei, seine Dateien zu bennenen, wie er will, aber normalerweise würde man die ja thudersave.exe nennen. Aber vielleicht handelt es sich ja um Version 1.1 oder so.
Kannst du das Programm nicht nochmal vom Hersteller(Herausgeber) runterladen und gucken, ob da diese thudersave11.exe auch dabei ist?
Und vielleicht mal noch ein anderes Virensuchprogramm darauf ansetzen?