Veranstaltung im CAJ
Softwareentwicklung führt immer wieder zu Fehlern, die Softwareentwicklern und -firmen viel Zeit und Geld kosten. Ein typisches Beispiel dafür ist etwa der Fehler in Apple's SSL-Implementierung für das Betriebssystem iOS von 2014. Solche Fehler lassen sich mittlerweile gut mittels einer statischen Codeanalyse aufdecken und vermeiden. Insbesondere mit immer größeren Codebasen und schnelleren Release-Zyklen kommt der statischen Codeanalyse dabei eine wachsende Bedeutung zu.
Die zweistündige Vorlesung Statische Codeanalyse bietet einen Ein- und Überblick zu den Grundlagen und Methoden der analytischen Qualitätssicherung mittels statischer Codeanalyse. Thematisch wird ein Bogen von fundamentalen Ansätzen wie der statischen Typprüfung bis zu fortgeschrittenen Werkzeugen wie der monotonen Datenflussanalyse, abstrakten Interpretation und Modellprüfung gespannt.
Diese Vorlesung bildet das Modul "Softwaretechnik-Spezialisierung I" für Informatiker, Bioinformatiker und Wirtschaftsinformatiker ab. Bitte beachten sie auch die formalen Voraussetzungen in der Modulbeschreibung. Falls sie diese Veranstaltung für einen anderen Modul anrechnen lassen wollen, dann melden sie sich bitte so früh wie möglich bei Dr. Thomas Heinze. |
