Foundations of Static Analyses

With this seminar you will learn the core techniques of scientific work. There are no frontal lessons: you will have to write a term paper that summarizes your knowledge of an assigned topic after reading a selection of scientific papers. Each participant is also required to give a talk about the topic chosen. Several topics are available.

This seminar is about the foundations of static analysis that are needed for further quality and security analyses.

The topics will be announced in the kick of meeting. The kick of will be via Zoom.

Exemplary topics are:

- Cross-Language Analysis

- Specification Mining

- Sound(i)ness

This course is complemented by a hands-on training: Software Development Tools