Bachelor-Seminar: Static Analysis - Tools and Techniques
|Speaker||Julian Erhard, Michael Schwarz, Sarah Tilscher|
The pre-meeting for this seminar will take place on Tuesday, 11th of July, at 1 p.m. in room 02.07.014.
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.
- Frama-C WP
- Ultimate Automizer
- FB Infer
- CBMC and its descendants
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.
- 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 firstname.lastname@example.org AND email@example.com using the title `[BSc Seminar]`.