Institut für Softwaretechnologie

Hauptseminar Programmanalysen

Thema

Im Hauptseminar werden (statische) Programmanalysen fürs Reengineering und Code-Analysen behandelt, wie sie auch im Projekt Bauhaus der Abteilung Programmiersprachen und Compilerbau zum Einsatz kommen. Solche Analysen helfen, ein Programm zu verstehen, Fehler zu finden, Veränderungen zu planen u.v.m. Im Hauptseminar besprechen wir, wie diese Analysen arbeiten. Vorkenntnisse in Compilerbau, Programmanalysen und Graphenalgorithmen sind nützlich, jedoch nicht zwingend. Als Einstiegsliteratur kann unter anderem das Skript zur Vorlesung Programmanalysen und Compilerbau dienen (Kapitel über Programmanalysen). Das Hauptseminar bietet sich vor allem für jene Studierende an, die gerne eine Studien- oder Diplomarbeit in der Abteilung Programmiersprachen und Compilerbau anfertigen würden.

Vorträge

• Allgemeine Frameworks wie Grapherreichbarkeit, IDFS, IDE und WPDA
• Spurgraphen
• Analyse paralleler Programme
• Kombinierte Datenfluss-Analysen
• Procedure Boundary Elimination
• BDD-basierte Analysen
• Abstrakte Interpretation

Als Einstieg empfehlen wir die Folien zur Vorlesung Software-Reengineering (insbesondere das Kapitel zu Zwischendarstellungen) sowie das Skript zur Vorlesung Programmanalysen und Compilerbau (Kapitel über Programmanalysen).

Bei Fragen wenden Sie sich bitte an die Betreuer aus der Abteilung Programmiersprachen und Compilerbau: Prof. Erhard Plödereder, Steffen Keul, Stefan Staiger, Eduard Wiebe

Organisatorisches

Richtlinien

Eine erste Fassung der Ausarbeitungen wird eine Woche vor dem Vortrag abgegeben und wird auf dieser Webseite veröffentlicht.

Alle Teilnehmer am Hauptseminar lesen die veröffentlichte Fassung der Ausarbeitung vor dem Vortrag und verschaffen sich so einen Überblick über das jeweilige Thema.

Die endgültige Ausarbeitung muss uns eine Woche nach dem Vortrag vorliegen, sowohl in ausgedruckter als auch elektronischer Form (Orginaldokument und PDF). Die Ausarbeitung sollte unbedingt von einem Kommilitonen vor Abgabe auf Rechtschreibfehler etc. geprüft werden.

Die Ausarbeitungen müssen dem zweispaltigen IEEE-Format für Konferenzbeiträge genügen und einen Umfang von 12 Seiten haben. Unter den folgenden Links gibt es entsprechende Vorlagen.

• für LaTeX (latex8.sty, latex8.bib, latex8.bst, latex8.tex) , außerdem hat Cornelius Walter die Ausgabe der Literaturangaben "eingedeutscht": BibTeX-bst-file
• für Microsoft Word (instruct.doc)
• für Adobe FrameMaker 5.5

Literatursuche

• http://www.acm.org/dl/
• http://www.computer.org/publications/dlib
• http://citeseer.nj.nec.com/cs
• http://dblp.uni-trier.de/
• http://www.google.de