Organisator: Prof. Dr. Heiko Mantel
Registrierung: Registrierungen können nicht mehr entgegengenommen werden.
Literatur: Wurde in der Vorbesprechung bekanntgegeben.
Vorbesprechung: Donnerstag, 15. Oktober 2009, 13:30 Uhr in S2/02 E302.
Form: Blockseminar; Dienstag, 9.2.2010 in S2/02 E302.
Kontakt: Bei Fragen wenden Sie sich bitte an Richard Gay.
Thema: Thema dieses Seminars sind Programmanalysetechniken, wobei der Fokus auf der Sicherheitsanalyse von Programmen liegt. Im Seminar werden sowohl statische als auch dynamische Programmanalysetechniken betrachtet.
Statische Analyse. Statische Programmanalysetechniken untersuchen Programme bereits vor ihrer Ausführung. So können Programme z.B. auf sicheren Informationsfluss oder auf die Einhaltung von Programmierrichtlinien zur Erhöhung der Codesicherheit untersucht werden. Für die statische Programmanalyse werden u.a. Typsysteme, Hoare-Logiken oder abstrakte Interpretation eingesetzt.
Dynamische Analyse. Bei der dynamischen Analyse wird ein Programm zwar ausgeführt, dabei jedoch überwacht. Wenn eine Verletzung einer Sicherheitsrichtlinie absehbar ist, kann so in den Programmablauf eingegriffen werden um eine Sicherheitsverletzung zu vermeiden (im Extremfall durch Anhalten des Programms).
Material: [Interner Bereich des Seminars]