Lehrende: Prof. Dr.-Ing. Ermira Mezini
Veranstaltungsart: Seminar
Orga-Einheit: FB20 Informatik
Anzeige im Stundenplan: FoSA
Fach:
Anrechenbar für:
Semesterwochenstunden: 2
Unterrichtssprache: Englisch
Min. | Max. Teilnehmerzahl: - | -
Lehrinhalte: Die Grundlagen statischer Analysen, die zur Implementierung von fortgeschrittenen Qualitäts- und Sicherheitsanalysen gebraucht werden. Exemplarische Auswahl der Themen: - Berechnung von Kontrol- und Datenabhängigkeiten in der Gegenwart von unendlichen Schleifen und nicht reduzierbarer Kontrollflussgraphen. - Slicing von Code - Identifikation von Schleifen in Machinencode - Konstruktion von Aufrufgraphen - Statische Analyse Frameworks (z.B., IDE, IFDS, Reactive Async) - "Self-Adaptation" und statische Analysen - Sound(iness) - Specification Mining
Voraussetzungen: Das Seminar richtet sich an fortgeschrittene Bachelor- und Masterstudierende. Vertrautheit mit den Grundlagen des Compilerbaus (z.B. SSA Form) ist sehr empfehlenswert.