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.