arvutiteaduse instituudi lõputööde teemade register


Static Analysis with Goblint
Organisatsiooni nimiTechnical University of Munich
KokkuvõteGoblint [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 aasta2021-2022
JuhendajaJ. Erhard, S. Saan, M. Schwarz, S. Tilscher, V. Vojdani, I. Zuzic
Suhtlemiskeel(ed)inglise keel
Nõuded kandideerijaleStudents 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/


ati.study@lists.ut.ee