6 820 Grundlagen der Programmanalyse Herbst 2015

Die Komplexität von Software nimmt rasant zu, sodass manuelle Code-Reviews und herkömmliche Tests nicht mehr ausreichen, um kritische Fehler und Sicherheitslücken zu erkennen. Die Programmanalyse stellt die mathematischen Grundlagen und automatisierten Werkzeuge zur Verfügung, um die Korrektheit der Software zu überprüfen, bevor sie überhaupt ausgeführt wird. Dieser Kurs vermittelt Ihnen die grundlegenden Konzepte und modernen Techniken, die zur Analyse, Verifizierung und Optimierung von Software erforderlich sind. Sie werden vom Schreiben von Code zu systematischen Überlegungen über sein Verhalten und seine Sicherheitseigenschaften übergehen. Was Sie lernen: Verstehen Sie die Grundprinzipien der statischen Programmanalyse und der formalen Verifikation; Erkunden Sie Typprüfungssysteme und wie moderne Compiler die Typsicherheit gewährleisten; Wenden Sie abstrakte Interpretation an, um das Programmverhalten anzunähern, ohne den Code auszuführen; Entdecken Sie Modellprüfungstechniken, um Softwareanforderungen systematisch zu überprüfen Integrieren Sie statische Analysetools in moderne Entwicklungsworkflows und CI/CD-Pipelines. Wir beginnen mit der wichtigsten Terminologie und den wesentlichen mathematischen Grundlagen des Programmverhaltens. Von dort aus werden Sie die praktische Implementierung von Typsystemen, abstrakten Interpretationen und automatisierten Verifikationswerkzeugen durchlaufen. Dieser Kurs richtet sich an Softwareentwickler, Informatikstudenten und angehende Sicherheitsforscher, die verstehen möchten, wie Code unter der Haube funktioniert. Vorkenntnisse in formalen Methoden sind nicht erforderlich, da wir alle Konzepte von Grund auf aufbauen. Beginnen Sie noch heute mit dem Lesen, um zuverlässigere und sicherere Softwaresysteme zu entwickeln.