Why don’t you just do a full system scan with Avast? Pushdo is Windows only, but that doesn’t mean you don’t have a specific Mac virus.