Yo uso el bitdefender pro AVX (el mejor antivirus para mi) y me da un aviso con el player de que trae el divx por el hecho de que el nombre del archivo es "DivX Player 2.0 Alpha.exe" y me avisa de que es una rchivo con doble extension y por tanto puede ser un virus, pero esto no es mas que un fallo al llevar en el nombre 2 puntos. el 2.0alpha.exe, toma todo lo que hay detras de un puto como una extension cuando en este caso no lo es.
Por cierto tirar el panda y decir que se os a caido