Software permeates all aspects of our daily life, and it is vital for programs used in critical situations to be free of bugs. In this seminar, we will study various approaches from literature for Static Analysis of programs. Here, we will focus on concrete tools, present the underlying approaches, and do a live demo.
This is an incomplete list of possible tools and approaches this seminar may cover, to give you a flavor of what we're planning.

• CPAChecker
• Symbiotic
• Frama-C WP
• Ultimate Automizer
• FB Infer
• CBMC and its descendants
• Divine
• Predator

The seminar is organized as a mini-conference. After submitting your draft paper, you will be asked to review some drafts of your fellow students. You have the chance to incorporate this feedback before submitting the final version of the paper. The final talks will be held en-block within two or three days at the end of the semester.

Requirements:

• Be in your Bachelor's
• Successful completion of IN0001, IN0002, IN0003
• For some topics: IN0011
• Helpful but not required: IN2227, IN2050, IN2053, IN2055
• Write a letter of motivation (0.5 pages), attaching your Transcript of Records to julian.erhard@tum.de AND m.schwarz@tum.de using the title `[BSc Seminar]`.