Symbolic Analysis, Fachbücher von Bernhard Scholz, Johann Blieberger, Bernd Burgstaller

Das Buch "Symbolic Analysis" bietet eine umfassende Untersuchung der symbolischen Analyse als fortgeschrittene Technik der statischen Programm-Analyse. Es zielt darauf ab, das dynamische Verhalten von Programmen zu bestimmen, ohne sie tatsächlich auszuführen. Die Autoren präsentieren einen neuartigen, algebraischen Ansatz zur symbolischen Analyse imperativer Programmiersprachen, der die Pfad-Ausdruck-Algebra nutzt, um vollständige Kontroll- und Datenflussanalysen zu berechnen. Diese Informationen sind entscheidend für die Optimierung von Compilern, Code-Generatoren sowie für die Programmverifikation, das Testen und Debugging. Das Buch belegt die Korrektheit der entwickelten Analysemethode und zeigt durch experimentelle Ergebnisse, dass die entstehenden Problemgrössen aus realen Anwendungen, wie der SPEC95-Benchmark-Suite, für die symbolische Analysemethode handhabbar sind.