Statische Programmanalyse (Bachelor Seminar)
Kontext und Ziele des Seminars
Statische Code Analyse erlaubt es uns, Informationen über alle möglichen Ausführungen eines Programmes zu erhalten, ohne den Code tatsächlich auszuführen.
Diese Informationen können wir dann verwenden, um den Code beispielsweise auf Sicherheitslücken zu überprüfen, Optimierungspotential zu finden, oder Refactoring-Operationen anzubieten. Gerade auch wenn sich das Programm in einem nicht-lauffähigen Zustand befindet oder von einem Compiler verarbeitet wird, sind statische Analysetechniken elementar!
In diesem Seminar möchten wir uns mit dem aktuellen Stand der Wissenschaft zu diesen Techniken intensiver beschäftigen.
- Wie ist es beispielsweise möglich, alle möglichen Werte, die eine Variable zur Laufzeit annehmen kann, zu sammeln?
- Wie können wir mit dynamischen Informationen und Fehlern umgehen?
- Was sind die Vor- und Nachteile dieser Techniken?
Die Folien finden sich auch hier:
Weitere Informationen