This repository contains the source code for three lectures I created for the course "Software Quality Assurance" at the University of Ulm. They are designed to be the follow-up after a introduction of the general goals and techniques of static analysis. Feel free to leave feedback in the form of issues, pull requests, or emails. A summary of this course was held as a guest lecture at SE II at the TU Braunschweig.

After a semester with only two lectures, this is the newly added general introduction to static analysis (see ./lecture_static_analysis/). See here for the animated version and here for the handout.

This is my first take at an introductory lecture for abstract interpretation assuming no previous knowledge on the topic (see ./lecture_abstract_interpretation/). See here for the animated version and here for the handout.

This lecture focuses on how such techniques can be applied in practice, including with my own tool flowR which is a static analyzer for R code (see ./lecture_static_analyzers/). See here for the animated version and here for the handout.