Studien- und Diplomarbeiten in der Abteilung Programmiersprachen

Adaptive (intelligente) Programmanalysen (Diplomarbeit)

Traditionelle Programmanalysen sind wenig intelligent: Sie berechnen stur nach einem einheitlichen Muster ihre Ergebnisse, wie sie sie für praktisch jedes Programm herleiten können. Adaptive Analysen dagegen würden sich der Analyse-Situation anpassen: Dort, wo das zu untersuchende Programm einfach ist, werden Analysevarianten eingesetzt, die diese Einfachheit im Sinne einer besseren Laufzeit und Genauigkeit ausnutzen können. Beispielsweise sind viele Unterprogramme relativ einfach gestrickt (ohne gotos etc.) und können daher mit besseren Analysen untersucht werden als andere Unterprogramme. Auch andere Anpassungen an die Situation sind möglich: So kann man sich an die Anfrage des Benutzers anpassen, die vielleicht nur für einen Programmteil ein präzises Ergebnis verlangt und im restlichen Programm mit ungenaueren Ergebnissen zufrieden ist. Während ein adaptives Vorgehen in anderen Wissenschaftsbereichen, z.B. der Numerik von Differentialgleichungen, bereits üblich ist, betreten wir im Gebiet der Programmanalysen damit noch weitgehend Neuland.

Diese Arbeit soll zum Einen Möglichkeiten der Adaption untersuchen (worauf könnte man sich anpassen, und wie?) und zum Anderen eine Steuerung entwickeln, die auf Grund der vorliegenden Analyse-Situation entscheidet, welche Analysevarianten für welche Programmteile zum Einsatz kommen sollen.