Practical Course - Static Analysis: Automated Bug Hunting and Beyond (IN0012, IN2106, IN4301)
Course 0000002426 in SS 2021
General Data
Course Type | practical training |
---|---|
Semester Weekly Hours | 6 SWS |
Organisational Unit | Informatics 2 - Chair of Formal Languages, Compiler Construction, Software Construction (Prof. Seidl) |
Lecturers |
Julian Erhard Michael Schwarz Responsible/Coordination: Helmut Seidl |
Dates |
1 singular or moved dates |
Assignment to Modules
-
IN2106: Master-Praktikum / Advanced Practical Course
This module is included in the following catalogs:- Further Modules from Other Disciplines
Further Information
Courses are together with exams the building blocks for modules. Please keep in mind that information on the contents, learning outcomes and, especially examination conditions are given on the module level only – see section "Assignment to Modules" above.
additional remarks | 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 entry |
Equivalent Courses (e. g. in other semesters)
Semester | Title | Lecturers | Dates |
---|---|---|---|
WS 2023/4 | Practical Course - Static Analysis: Automated Bug Hunting and Beyond (IN0012, IN2106, IN4301) |
Erhard, J.
Schwarz, M.
Responsible/Coordination: Seidl, H. |
Thu, 13:00–15:00, MI 02.07.014 and singular or moved dates |
SS 2023 | Practical Course - Static Analysis: Automated Bug Hunting and Beyond (IN0012, IN2106, IN4301) |
Erhard, J.
Schwarz, M.
Responsible/Coordination: Seidl, H. |
singular or moved dates |
WS 2022/3 | Practical Course - Static Analysis: Automated Bug Hunting and Beyond (IN0012, IN2106, IN4301) |
Erhard, J.
Schwarz, M.
Responsible/Coordination: Seidl, H. |
singular or moved dates |
SS 2022 | Practical Course - Static Analysis: Automated Bug Hunting and Beyond (IN0012, IN2106, IN4301) |
Erhard, J.
Schwarz, M.
Responsible/Coordination: Seidl, H. |
singular or moved dates |