Preface of the special issue on the static analysis symposium 2020 and 2022

Dieses Sonderheft befasst sich mit den neuesten Fortschritten in der statischen Analyse, einem entscheidenden Werkzeug für Programmüberprüfung, Fehlererkennung und Compileroptimierung. Es enthält erweiterte und überarbeitete Versionen ausgewählter Aufsätze des Static Analysis Symposiums (SAS) 2020 und 2022, die eine breite Palette von Themen wie abstrakte Domänen, abstrakte Interpretation, Datenflussanalyse und Sicherheitsanalyse abdecken. Das Heft beleuchtet innovative Forschungen zu mehrsprachiger Abstraktion, geschichteten, behüteten Transitionssystemen erster Ordnung und Terminationsanalysen von Polynom-Schleifen. Außerdem werden bahnbrechende Methoden zur speichereffizienten Fixpunktberechnung und partiellen Programmanalyse für inszenierte Kompilationssysteme vorgestellt. Darüber hinaus enthält das Heft Beiträge zu Input-Output-Domänen für algebraische Datentypen und funktionale Arrays, die einen umfassenden Überblick über den Stand der statischen Analyse bieten. Die darin enthaltenen Arbeiten wurden einem strengen Peer-Review-Prozess unterzogen, der ihre Qualität und Relevanz für den Fachbereich sicherstellte.