Prof. Dr. Helmut Seidl -
Sprachen und Beschreibungsstrukturen in der Informatik
Hauptseminar Programmanalyse
(Sommersemester 2004) Dienstags von 14-16 Uhr in 02.07.014
Inhalt:
Klassischerweise befasst sich die Programmanalyse mit Techniken, die
bei Kompilierungszeit angewendet werden können, um die Effizienz
der Programm-Ausführung zu erhöhen. Darüber hinaus kann
Programmanalyse auch benutzt werden um eine Reihe von Problemen
anderer Art zu lösen.
In diesem Seminar wollen wir ein paar davon behandeln, darunter
praktische Fragen wie:
- Java-Bytecode Überprüfung
- Fehlersuche (z.B. Buffer Overflow in C-Programmen)
- Informationsfluss in sensiblen Programmen (wer hat Zugang zu
welchen Daten?)
- Compiletime Garbage Collection (welche Referenzen werden wann
nicht mehr gebraucht?)
Ausserdem wollen wir uns auch mit konzeptuellen
Aspekten beschäftigen wie:
- Fixpunktalgorithmen
- Generelle Ansätze zur Programmanalyse für imperative,
funktionale, logische, parallele, objekt-orientierte, ...
Sprachen
Vorbesprechung:
Di. 10. Februar 2004 14 Uhr (MI 02.07.034)
Teilnahmevoraussetzungen:
Für Studierende im
Hauptstudium, Kenntnise der Formalen Semantik
Scheinvoraussetzungen:
Vortrag und aktive Teilnahme, schriftliche
Ausarbeitung des Vortragsthemas
Themen:
Grundlegende und weiterführende Themen der
Programmanalyse nach Kenntnisstand der
Teilnehmer
Erster Termin:
Di. 20. April 2004, 14:00 Uhr, ct. (MI 02.07.034)