Praktikum - Static Analysis: Automated Bug Hunting and Beyond (IN0012, IN2106, IN4301)
Practical Course - Static Analysis: Automated Bug Hunting and Beyond (IN0012, IN2106, IN4301)

Lehrveranstaltung 0000002426 im SS 2021

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

1 einzelner oder verschobener Termin

iCalendar

	Datum und Zeit	Raum und Anmerkung
!	Mi, 03.02.2021, 14:00–14:30	Pre-Meeting Sprecher(innen): Julian Erhard M.Sc., Michael Schwarz M.Sc. https://bbb.rbg.tum.de/mic-dya-2x9

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, that is based on Abstract Interpretation. The tool is capable of analyzing real-world C programs and show properties such as the absence of buffer overruns or data races in multi-threaded code. In the course of this practical, you (in teams of 2-4) will extend Goblint by implementing new analyses, e.g., for detecting dedicated classes of bugs or specific cases of Undefined behavior or work on tooling around it. This will: * Deepen your understanding of the semantics of C and typical programming errors * Deepen your understanding of Static Analysis by Abstract Interpretation * Deepen your functional programming skills * Give some insights into a developing research prototype There will be a pre-meeting on Feb 3, 2pm s.t. https://bbb.rbg.tum.de/mic-dya-2x9
Links	TUMonline-Eintrag

ergänzende Hinweise

Together with colleagues at the University of Tartu, we develop and maintain the Static Analyzer Goblint, that is based on Abstract Interpretation. The tool is capable of analyzing real-world C programs and show properties such as the absence of buffer overruns or data races in multi-threaded code. In the course of this practical, you (in teams of 2-4) will extend Goblint by implementing new analyses, e.g., for detecting dedicated classes of bugs or specific cases of Undefined behavior or work on tooling around it. This will: * Deepen your understanding of the semantics of C and typical programming errors * Deepen your understanding of Static Analysis by Abstract Interpretation * Deepen your functional programming skills * Give some insights into a developing research prototype There will be a pre-meeting on Feb 3, 2pm s.t. https://bbb.rbg.tum.de/mic-dya-2x9

Links

TUMonline-Eintrag

Gleiche Lehrveranstaltungen (z. B. in anderen Semestern)

Semester	Titel	Dozent(en)	Termine
WS 2023/4	Practical Course - Static Analysis: Automated Bug Hunting and Beyond (IN0012, IN2106, IN4301)	Erhard, J. Schwarz, M. Leitung/Koordination: Seidl, H.	Do, 13:00–15:00, MI 02.07.014 sowie einzelne oder verschobene 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