I virus sono programmi, programmi nocivi. Quando formatti, sovvrascrivi tutti i dati del HDD dunque tutti i programmi installati compresi quindi i virus.
Per curiosità, domanda al tuo amico come fanno a salvarsi certi virus.