This repository contains the source code for two 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.
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.
