Value-Range Analysis of C Programs, Fachbücher von Axel Simon

Das Buch "Value-Range Analysis of C Programs" von Axel Simon bietet eine umfassende Untersuchung der statischen Analyse von C-Programmen, um die Abwesenheit von Pufferüberläufen nachzuweisen. Pufferüberläufe stellen eine der häufigsten Sicherheitsanfälligkeiten dar, die es Angreifenden ermöglichen können, die Kontrolle über Computersysteme zu erlangen. In diesem Werk wird eine konservative und vollständig automatisierte Analyse vorgestellt, die ohne Benutzeranmerkungen auskommt. Der Autor erläutert, wie symbolische Zustände für Programmstellen abgeleitet werden, um mögliche Variablenwerte zu beschreiben. Die Korrektheit des Programms wird durch die Überprüfung sichergestellt, dass die abgeleiteten Werte für Array-Indizes und Zeigeroffsets innerhalb der Grenzen des zugegriffenen Puffers liegen. Die Analyse wird durch die Verwendung von linearen Ungleichungen und konvexen Polyedern unterstützt, was eine präzise Annäherung an die möglichen Variablenbewertungen ermöglicht. Das Buch ist eine wertvolle Ressource für Fachleute, die sich mit der Sicherheit von C-Programmen und der Vermeidung von Pufferüberläufen befassen.