Software besteht aus Anweisungen, die dem Rechner die auszuführenden Aktionen vorgeben. Anwendungen setzen sich nicht selten aus Millionen Zeilen solcher Anweisungen zusammen. Bei dieser grossen Anzahl verwundert es nicht, dass sich auch Fehler einschleichen. Design- und Programmierfehler in weit verbreiteten Programmen werden beinahe täglich entdeckt und veröffentlicht. Sicherheitsrelevante Fehler können jedoch dazu führen, dass unautorisierte Zugriffe auf Daten und Systeme möglich werden.
