Modul CS5220-KP06

Dauer:

Angebotsturnus:

Studiengang, Fachgebiet und Fachsemester:

• Master IT-Sicherheit 2019 (Wahlpflicht), IT-Sicherheit Safety und Reliability, 1., 2. oder 3. Fachsemester

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:

• Prof. Dr. Martin Leucker

Lehrende:

• Institut für Softwaretechnik und Programmiersprachen

• Prof. Dr. Martin Leucker

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: