UT Institute of Computer Science Graduation Theses Topics Registry

Organization

Technical University of Munich

Abstract

Goblint [1] is a state-of-the-art static analyzer written in OCaml for the analysis of multi-threaded C programs.

Goblint is developed jointly at the Chair for Programming Languages, Compiler Construction and Specification Formalisms [2] at the Technical University of Munich and the Laboratory for Software Science [3] at the University of Tartu.

Possible topics include:
- [MSc] Analyze low-level features of C including longjmp, setjmp, and inline assembler
- [MSc] Implement an abstract domain for floating point numbers
- [BSc] Improve detection of undefined behavior and integer overflows
- [BSc] Analyze Next-Generation C code (including up-to-date features of C11)

Possible supervisors are Simmo Saan and Vesal Vojdani, with additional input on the TUM side coming from Julian Erhard, Michael Schwarz, Sarah Tilscher, and Ivana Zuzic.

---
[1]: https://goblint.in.tum.de
[2]: https://www.in.tum.de/en/i02/home/
[3]: https://sws.cs.ut.ee/

Graduation Theses defence year

2021-2022

Supervisor

J. Erhard, S. Saan, M. Schwarz, S. Tilscher, V. Vojdani, I. Zuzic

Spoken language (s)

English

Requirements for candidates

Students interested in bachelor and master theses on Goblint should have taken University of Tartu courses in functional programming and compiler construction (AKT) or equivalent.

Level

Bachelor, Masters

Keywords

#StaticAnalysis, #FunctionalProgramming, #BugHuntingAndBeyond

 

Name

Julian Erhard

Phone

E-mail

See more