Bachelor-Seminar: Static Analysis - Tools and Techniques

Speaker Julian Erhard, Michael Schwarz, Sarah Tilscher
Location TBD

The pre-meeting for this seminar will take place on Tuesday, 11th of July, at 1 p.m. in room 02.07.014.

Module IN0014

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.


  • 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 AND using the title `[BSc Seminar]`.

Slides from Pre-Meeting

Slides from Kickoff