Hallo!
Also die regedit.exe befindet sich bei meinem System (XP) unter c:\windows. Ist nicht versteckt oder ausgeblendet, von daher kann man das ausschließen.
Also ich würde mal ne andere regedit.exe (auch XP sonst gehts nicht) einfach ma in c:\windows reinkopieren.
Um zu testen ob es ein Virus sein könnte, würd ich einfach mal nen Virenscanner installieren und ihn mal scannen lassen.
Hmm, das ein Virus den Pingbefehl angreift kann ich mir schwer vorstellen. Wenn es ein Virus wäre, könnte deine Freundin die datei cmd32.exe nicht mehr öffnen bzw. der Virus würde eher die .exe Datei befallen.
Kommt halt drauf an, welchen Server sie anpingt. Sie soll mal ipconfig eingeben. Wenn sie dort die lokale bzw. auch Ihre Internetip sieht ist dies ok. Dann kommt es darauf an, ob sie ne ip oder eine url anpingt. Kann sein, dass die Namensauflösung nicht richtig funktioniert und die DNS Servereinträge geändert werden müssen. (Ist nicht der Fall, wenn sie die DNS Server vom ISP zugeteilt bekommt!)
Naja hoffe ich konnte dir ein wenig helfen, schreib einfach wenn nichts geholfen hat.
Gruß Franky