Website
Modulhandbuch

Modul CS5220-KP06

Statische Analyse (StatAna)

Dauer:


1 Semester
Angebotsturnus:


In der Regel jährlich, vorzugsweise im WiSe
Leistungspunkte:


6
Studiengang, Fachgebiet und Fachsemester:
  • Master IT-Sicherheit 2019 (Wahlpflicht), IT-Sicherheit Safety und Reliability, 1., 2. oder 3. Fachsemester
Lehrveranstaltungen:
  • CS5220-Ü: Statische Analyse (Übung, 1 SWS)
  • CS5220-V: Statische Analyse (Vorlesung, 3 SWS)
Workload:
  • 20 Stunden Prüfungsvorbereitung
  • 100 Stunden Selbststudium
  • 60 Stunden Präsenzstudium
Lehrinhalte:
  • Begriffe, Potenzial und Abgrenzungen
  • Programmanalysen
  • Datenflussanalyse
  • Abstrakte Interpretation
  • Symbolic execution
  • SMT/SAT Solvers
  • Hoare-Logik, wp-Kalkül
  • Softwaremetriken
  • Bytecode-Analyse
  • Manuelle Prüfverfahren
Qualifikationsziele/Kompetenzen:
  • Die Studierenden können die Potenziale von statischer Analyse veranschaulichen.
  • Sie können die Techniken zur automatischen statischen Quellcode-Analyse erklären und klassifizieren.
  • Sie können geeignete Analyseverfahren auswählen, einsetzen und miteinander kombinieren.
  • Sie können verschiedene statische Methoden zur Verbesserung der Softwarequalität zueinander in Beziehung setzen, vergleichen und bewerten.
  • Sie können Ansätze zur Bytecode-Analyse darstellen.
  • Sie können typische Werkzeuge zur statischen Analyse auswählen und einsetzen.
  • Sie können manuelle Prüfverfahren organisieren und durchführen.
Vergabe von Leistungspunkten und Benotung durch:
  • Klausur, mündliche Prüfung und/oder Präsentation nach Maßgabe des Dozierenden
Modulverantwortlicher:
Lehrende:
Literatur:
  • F. Nielson, H.R. Nielson, C. Hankin: Principles of Program Analysis - Springer, 2010
  • H. Seidl, R. Wilhelm, S. Hack: Übersetzerbau Band 3: Analyse und Transformation - Springer 2010
Sprache:
  • Englisch, außer bei nur deutschsprachigen Teilnehmern
Bemerkungen:

Zulassungsvoraussetzungen zur Belegung des Moduls:
- Keine

Zulassungsvoraussetzungen zur Teilnahme an Modul-Prüfung(en):
- Erfolgreiche Bearbeitung von Übungsaufgaben gemäß Vorgabe am Semesteranfang

Modulprüfung(en):
- CS5220-L1: Statische Analyse, mündliche Prüfung, 100% der Modulnote

Letzte Änderung:
5.8.2021