Practial Course: Program Optimization with LLVM (Winter '20/'21, Summer '20)
Supervised Theses: If you are interested in doing a student thesis related to static analysis and Goblint, feel free to reach out. For more information on possible student topics see here.
Bachelor's Theses
Master's Theses
Increasing the Precision of the Static Analyzer Goblint by Loop Unrolling (Mireia Cano Pujol, 02/22)
Towards an integration of Sarif into Goblint (Alexander Eichler, 10/21)
A Continuous Integration and Testing Platform for the Static Analyzer Goblint (Andreas Ferrano, 04/21)
Webtool to create and check canonical LR automata (Leo Fahrbach, 02/21, co-supervised with Dr. Michael Petter)
Extending a Syntactic Search in C Source Code with Analysis Results from the Static Analyzer Goblint (Elias Brandstetter, 09/20)
Extending a VS-Code Plugin for a LLVM-based Program Analyzer with a Mapping back to High Level Code (Benedikt Kehrein, 09/20)
Comparison of Analyses in CIL and Goblint (Kerem Cakirer, 09/20)
Syntactical Search in C Source Code (Olga Faddeenkov, 07/20)
User Interface for Program Analyzer Goblint using a OCaml-JavaScript Transpiler (Alex Micheli, 05/20)
Implementing and Comparing Linear Relational Domains in the Static Analyzer Goblint (Martin Wehking, 05/22)
Improved Abstract Domains for Structs in the Static Analyzer Goblint (Jakob Erzar, 10/21)
Liveness Analysis of Multi-Threaded C with Posix Threads (Denis Grebennicov, 05/21)
Implementation and Comparison of Precision of Various Abstract Domains in the Program Analyzer Goblint (Dymtro Yakymets, 11/20)