Suchergebnisse: 4

Integrierte Veranstaltung: Statische und dynamische Programmanalyse - SoSe 2021

Kursbereich: Wahlbereiche

Programmanalyse

Statische Analysen sind Werkzeuge die Informationen von Programmen extrahieren ohne diese auszuführen. Statische Analysen haben vielseitige Anwendungen in integrierten Entwicklungsumgebungen (IDEs), Compilern und Continous Integration Servern. Zum Beispiel werden statische Analysen in IDEs verwendet um Programmfehler und Sicherheitslücken zu erkennen. Des Weiteren werden sie in Compilern zum Typechecking und für Optimierungen verwendet.

Dieser Kurs gibt einen Überblick über die zugrundeliegende Konzepte von statischen Analysen. Insbesondere diskutieren wir den Kompromiss zwischen der Performanz, der Präzision, und der Korrektheit von statischen Analysen. Des Weiteren werden Ihnen verschieden Sorten von statischen Analysen vorgestellt, wie zum Beispiel Kontrollflussanalysen, Datenflussanalysen, Zeigeranalysen, sowie Seiteneffekt- und Unveränderlichkeitsanalysen. Abschließend lernen sie verschiedene Analyseframeworks kennen, wie das monotone Framework, Big-Step Abstrakte Interpreter und IFDS/IDE Frameworks.

In der begleitenden Übung wenden Sie die neuen Analysekonzepte praktisch an, und erweitern oder entwicklen existierende Analysen.

Kursbereich: Wahlbereiche

Programmanalyse 2024

20-00-1122-vl

Kursbereich: Wahlbereiche

Programmanalyse 2025

Statische Analysen sind Werkzeuge, die Informationen über Programmen extrahieren, ohne diese auszuführen.
Statische Analysen haben vielseitige Anwendungen in der Erkennung von Bugs, Sicherheitslücke und Schadsoftware, in Typechecking und Optimierung während des Kompilierens sowie als Grundlage für die formale Verifikation von Programmen.
Daher sind sie ein wichtiges Werkzeug, um die Korrektheit, Sicherheit und Performanz von Software sicherzustellen.

Dieser Kurs gibt einen Überblick über die zugrundeliegende Konzepte von statischen Analysen.
Der Kurs wird wichtige Programmeigenschaften vorstellen, die von statischen Analysen hergeleitet werden, darunter Kontrollfluss, Datenflüsse, Callgraphen, Points-To, Purity und Immutability.
Sie lernen auch Algorithmen und Frameworks kennen, die verwendet werden, um diese Eigenschaften herzuleiten, darunter Typsysteme, abstrakte Interpreter und IFDS/IDE.
Schließlich werden wir auch Abwägungen zwischen Präzision, Korrektheit und Performanz statischer Analysen diskutieren.

In der begleitenden Übung wenden Sie die neuen Analysekonzepte praktisch an und erweitern oder entwicklen existierende Analysen. 

Kursbereich: Wahlbereiche / Electives