Haupt-/Bachelorseminar: Programmanalyse

Organisatorisches

Zeit: Blockveranstaltung Mi 24.06.09 (8-12h Raum HS 1.27; 13-17 h Raum HS 0.41), Fr 26.06.09 (8-17 Raum HS 0.43)

Ort: 043 Oettingenstr 67

Die Themen wurden in der Vorbesprechung am Di 21.04. 8:00 vergeben. Es gibt keine freien Plaetze mehr.

Zum Vortrag gehoert eine Ausarbeitung von ca. 30000 Zeichen auf deutsch und mit Latex angefertigt.

Der Vortrag selbst muss als Beamer-Praesentation erfolgen. Hier kann eine beliebige Software, wie das Latex-Beamer Paket oder auch MS PowerPoint eingesetzt werden.

Zum Inhalt

• Welche Programmvariablen sind wann aktiv (Wichtig fuer die Zuordnung von Speicherbereich)
• Wieviel Speicherplatz benoetigt ein Programm
• Welche Zeiger koennten auf dasselbe Objekt verweisen
• Welchen Typ hat ein bestimmter Ausdruck
• Welche Exceptions koennen von einem bestimmten Programmstueck ausgeloest werden
• Kann ein bestimmter Ausdruck den Wert "null" haben
• Kann als geheim eingestufte Information vom Programm publik gemacht werden

Im Seminar wollen wir uns anhand des unten genannten Buches von Nielson, Nielson, Hankin einen Ueberblick ueber die grundlegenden Methoden dieses Themengebietes, wie zum Beispiel abstrakte Interpretation, Typsysteme, Fixpunktberechnungen und repraesentative Anwendungen, wie die oben aufgezaehlten, verschaffen.

Vorkenntnisse

Zeitschiene

• spätestens 2 Wochen vor dem Vortrag: Besprechung mit dem Betreuer zum Inhalt des Themas.
• spätestens 1 Woche vor dem Vortrag: Besprechung des Vortrags anhand der Folien.
• spätestens 2 Tage vor dem Vortrag: Vorversion der Ausarbeitung ins Netz stellen.
• am Tag des Vortrags: Vortrag (nona)
• spätestens 2 Wochen nach dem Vortrag: Endversion der Ausarbeitung abgeben.

Ressourcen

Tips zum Aufbau von Vorträgen und zu Präsentationstechniken:

• Der perfekte Seminarvortrag, A. Zeller, Universität des Saarlandes, Saarbrücken
• How to give a good research talk, S.L. Peyton Jones, Microsoft Research, Cambridge

Hilfsmittel zum Erstellen der Vorträge:

• LaTeX Tutorial
• LaTeX Einführung
• LaTeX Beamer Klasse

Präsentationen

Mittwoch 24.6.2009
8-12 h Raum HS 1.27; 13-17 h Raum HS 0.41

Beginn	Thema	Seiten	VortragendeR	BetreuerIn	Ausarbeitung	Folien
9:15	1. Einführung	1-34	Zierer	ML	PDF	PDF
10:15	2.Datenflussanalyse	35-64	Schauer	MH	PDF	PPT
	3. Theoretische Grundlagen	65-81,393-428	Hildebrandt	ML
11:15	4. Interprozedurale Analyse	82-103	Langlotz	LB	PDF
13:15	5. Shape Analyse	105-127	Fritsch	LB	PDF	PDF
14:15	6. Kontrollflussanalyse I	141-167	Rinke	HWL	PDF	DVI
15:15	7. Kontrollflussanalyse II	168-181	Hering	HWL	PDF	PDF

Freitag 26.6.2009
8-16 h Raum HS 0.43

Beginn	Thema	Seiten	VortragendeR	BetreuerIn	Ausarbeitung	Folien
9:15	9. Abstrakte Interpretation I	211-245	Mikhaylova	RA	PDF	PDF
	10. Abstrakte Interpretation II	246-273	Czech	RA
10:15	11. Abstrakte Interpretation III ( AbsInt)	White paper , Technisches Papier , Bericht von Airbus	Pleintinger	MH	PDF
	12. Typ- und Effektsysteme I	283-299	Helk	AA
11:15	13. Typ- und Effektsysteme II	300-318	Kufner	AA	PDF	PDF
13:15	14. Typ- und Effektsysteme III	319-329 + Talpin, Jouvelot: The type and effect discipline. Information and Computation 111, 1994 (Kopie im Sekretariat). Kurzversion	Pichler	MH
	15. Typ- und Effektsysteme IV	330-352 + Tofte. Talpin: Region-Based Memory Management, Inf. and Comp 132(2), 1997	Kempe	MH
14:15	16. Algorithmen	365-386	Ritter	ML	PDF

Literatur

• Principles of Program Analysis. Flemming Nielson, Hanne Riis Nielson, Chris Hankin. Springer (Corrected 2nd printing, 452 pages, ISBN 3-540-65410-0), 2005. (Google Books)