Studien- und Diplomarbeiten in der Abteilung Programmiersprachen

Kombinierte Programmanalysen (Diplomarbeit)

Im Software Reengineering muss man typischerweise mehrere Einzelanalysen (z.B. Zeiger- und diverse Datenflussanalysen) ausführen, um ein gewünschtes Ergebnis zu erreichen. Normalerweise werden diese Analysen hintereinander ausgeführt, ggf. auch iterativ. Es ist jedoch mächtiger, die Analysen parallel auszuführen: Jede Anweisung wird von allen gewünschten Programmanalysen zugleich untersucht. Dadurch können die Analysen in jedem Schritt die Ergebnisse der anderen Analysen gleich ausnutzen. So entstehen positive Wechselwirkungen.

Diese Arbeit soll nun für das Bauhaus-Projekt ein Framework für die kombinierte Ausführung mehrerer Analysen konzipieren und implementieren.