Praktikum - Static Analysis: Automated Bug Hunting and Beyond (IN0012, IN2106, IN4301)
Practical Course - Static Analysis: Automated Bug Hunting and Beyond (IN0012, IN2106, IN4301)
Lehrveranstaltung 0000002014 im WS 2023/4
Basisdaten
LV-Art | Praktikum |
---|---|
Umfang | 6 SWS |
betreuende Organisation | Informatik 2 - Lehrstuhl für Sprachen und Beschreibungsstrukturen in der Informatik (Prof. Seidl) |
Dozent(inn)en |
Julian Erhard Michael Schwarz Leitung/Koordination: Helmut Seidl |
Termine |
Do, 13:00–15:00, MI 02.07.014 sowie 1 einzelner oder verschobener Termin |
Zuordnung zu Modulen
-
IN2106: Master-Praktikum / Advanced Practical Course
Dieses Modul ist in den folgenden Katalogen enthalten:- weitere Module aus anderen Fachrichtungen
weitere Informationen
Lehrveranstaltungen sind neben Prüfungen Bausteine von Modulen. Beachten Sie daher, dass Sie Informationen zu den Lehrinhalten und insbesondere zu Prüfungs- und Studienleistungen in der Regel nur auf Modulebene erhalten können (siehe Abschnitt "Zuordnung zu Modulen" oben).
ergänzende Hinweise | Together with colleagues at the University of Tartu, we develop and maintain the Static Analyzer Goblint, which is based on Abstract Interpretation.The tool is capable of analyzing real-world C programs and showing properties such as the absence of buffer overruns or data races in multi-threaded code without requiring any user interaction at all.Goblint won the Data Race Category of the Software Verification Competition in 2023.In the course of this practical, you (in teams of 2-4) will be able to enhance Goblint with new relational domains, i.e., domains tracking not abstractions of one variable but relationships between multiple variables. Such domains are useful, e.g., for detecting buffer-overflows where neither the index's exact value nor the array's length is known beforehand.This topic lies at the intersection of the expertise of our research group, i.e., it is supervised by an expert on numerical relational domains and contributors to the Goblint static analyzer.One of the domains which may be implemented in the course of this practical is Flexeder et al. "Fast interprocedural linear two-variable equalities", TOPLAS 2012.This article presents an analysis that, in its basic setting, infers **all** valid variable differences, that is, all valid equalities of the form x = c or x = y+c for some constant c ∈ Z.Participating in this practical course will:- Deepen your understanding of the semantics of C and typical programming errors- Deepen your understanding of static analysis by Abstract Interpretation- Level up your functional programming skills- Become connected to the research we do day-to-dayThe pre-meeting for this practical course will take place on Monday, 10th of July, at 1 p.m. in room 02.07.014. |
---|---|
Links | TUMonline-Eintrag |
Gleiche Lehrveranstaltungen (z. B. in anderen Semestern)
Semester | Titel | Dozent(en) | Termine |
---|---|---|---|
SS 2023 | Practical Course - Static Analysis: Automated Bug Hunting and Beyond (IN0012, IN2106, IN4301) |
Erhard, J.
Schwarz, M.
Leitung/Koordination: Seidl, H. |
einzelne oder verschobene Termine |
WS 2022/3 | Practical Course - Static Analysis: Automated Bug Hunting and Beyond (IN0012, IN2106, IN4301) |
Erhard, J.
Schwarz, M.
Leitung/Koordination: Seidl, H. |
einzelne oder verschobene Termine |
SS 2022 | Praktikum - Static Analysis: Automated Bug Hunting and Beyond (IN0012, IN2106, IN4301) |
Erhard, J.
Schwarz, M.
Leitung/Koordination: Seidl, H. |
einzelne oder verschobene Termine |
SS 2021 | Practical Course - Static Analysis: Automated Bug Hunting and Beyond (IN0012, IN2106, IN4301) |
Erhard, J.
Schwarz, M.
Leitung/Koordination: Seidl, H. |
einzelne oder verschobene Termine |