Und - man kann ein Programm nicht auf das Vorhandensein von bislang
unbekannten Fehlern testen! Aber das bekommt die Presse immer noch nicht
auf die Reihe.

Selbstverstaendlich kann man das. So arbeitet auch jeder Hacker/Cracker.

Automatisiert auf Bufferoverflow checken, waere das einfachste.

Ansonsten:
https://www.google.com/?gws_rd=ssl#q=find+programming+mistakes+automatically