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 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 Deep Learning gespannt. |
