Den Code zu überprüfen halte ich für quasi unmöglich.

Windows besteht aus 20 bis 30 Millionen Zeilen Code. Den müsstest du vollständig analysieren und verstehen, das ist in einer realistischen Zeit nicht zu machen, wenn überhaupt.

Da irgendeine Funktion zu verstecken, die Dinge ausliest und weitergibt, ist überhaupt kein Problem. Gerade solche Dinge wie beispielsweise eine Datei auszulesen und zu versenden ist mit ein paar Zeilen erledigt.

Du kannst da nur schauen, was die Software macht und die Hütte vernageln.

Über zwei Ecken kenne ich eine Mathematikerin, die an einem Projekt zur Verschlüsselung von Funkverkehr im Militärbereich arbeitet. Das machen sie seit 10 Jahren und die abnehmenden Stellen sind mit der Überprüfung heillos überfordert.

Wie soll das auch gehen? Die müssen ja mindestens dasselbe Wissen haben wie die Entwickler und dann könnten sie es auch gleich selber machen.