Static Analysis with Goblint

Organisatsiooni nimi
Technical University of Munich
Kokkuvõte
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/
Lõputöö kaitsmise aasta
2021-2022
Juhendaja
J. Erhard, S. Saan, M. Schwarz, S. Tilscher, V. Vojdani, I. Zuzic
Suhtlemiskeel(ed)
inglise keel
Nõuded kandideerijale
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.
Tase
Bakalaureus, Magister
Märksõnad
#StaticAnalysis, #FunctionalProgramming, #BugHuntingAndBeyond

Kandideerimise kontakt

 
Nimi
Julian Erhard
Tel
E-mail
julian.erhard@tum.de
Vaata lähemalt
http://goblint.in.tum.de/