Hallo apfelsine,
der Punkt war, dass es theoretisch möglich ist, unabhängig von der Art der Software fehlerfreie Software zu schreiben, es aber unmöglich ist, ein „Antivirus“-Programm zu erstellen, das zu 100% Malware und Nicht-Malware auseinanderhalten kann.
Ob man in der Praxis eine Software komplett fehlerfrei bekommt, steht auf einem anderen Blatt, wie du schon beschriebst.
Man sollte es also als Aufforderung verstehen, seine Software möglichst sicher zu schreiben anstatt sich auf irgendwelche Heuristiken anderer Software zu verlassen.
Gruß
Julius