Studien- und Diplomarbeiten in der Abteilung Programmiersprachen

Analyse von Bibliotheken (Diplomarbeit)

Interprozedurale Programmanalysen gehen oft davon aus, dass der vollständige Quellcode für die Analyse verfügbar ist. Gerade aber für Programme, die an Bibliotheken gebunden werden (z.B. GUI-Bibliotheken wie GTK und Qt), ist dies weder erwünscht (der Bibliotheksteil soll nicht ständig wieder analysiert werden) noch zutreffend (oft ist für eine Bibliothek der Quellcode nicht verfügbar).

Die Diplomarbeit beschäftigt sich daher mit dieser Problematik der Bibliotheken. Dazu sollen existierende Strategien z.B. der Software-Fragment-Analyse umgesetzt und evaluiert werden. Darüber hinaus soll als wissenschaftlicher Beitrag nach weiteren Strategien gesucht werden.