vorgefertigte Skripte, sicherheits lücke?

[Christian Kruse]

Hallo Martin,

es ist fast schon eine Art Naturgesetz, dass jedes Stück Software, das über die Komplexität eines "Hello World"-Beispiels hinausgeht, […]

Warum schränkst du das so ein? Hast du eine Ahnung, wie komplex ein Compiler oder ein Interpreter sind? ;-) Geschweige denn ein Browser.

ja, aber ich wollte ja nicht auf die Bugs von Compilern oder Browsern hinaus, sondern auf die des eigentlichen zu erstellenden Programms.

Worauf du hinaus wolltest, war mir klar, deshalb ja auch die Frage, warum du dich so einschränkst.

Wenn es so einfach gestrickt ist, dass man systematisch alle möglichen Eingaben testen kann (und das wäre im Fall des klassischen Hello-World-Beispiels ein Nullvektor), dann kann man auch mit hinreichender Sicherheit behaupten, das Programm an sich sei fehlerfrei.

Das haben wir um Studium mal versucht. Nein, das ist nicht möglich. Allein schon nur die Ausgabe von „Hello World“ ist sehr komplex. Und wenn wir in die Hochsprachen schauen, wird es noch kritischer. Die einzige Möglichkeit das nachzuweisen (sic!) ist vorauszusetzen, dass ausser dem selbst geschriebenen Quellcode (also auch die Standard-Bibliothek und so weiter) alles verifiziert ist.

LG,
CK