手机最近时常收到一些乱码短信，发送人常常是“7777”等等这样的字样，也不知道是不是病毒。想知道的是，手机有了病毒应该怎样查杀？谢谢！

热心网友

有病毒就格式化。