Vielen Dank GwenDragon. Virustotal war das Stichwort, nach dem ich gesucht habe. Ich hatte schon ewig nichts mehr damit zu tun und werde es hoffentlich nie mehr brauchen (kommt aber sicherheitshalber in meine Url-Sammlung).