@inproceedings{d030404ea5654736961834c3a4ab7358,
title = "Goblint: Abstract Interpretation for Memory Safety and Termination",
abstract = "Goblint is an abstract interpreter of C programs, focusing on the analysis of multi-threaded code. It is equipped with a variety of abstract domains, as well as analyses which allow it to reason about an array of program properties in a highly configurable manner. Goblint has been extended with support for the detection of memory safety bugs and non-termination.",
author = "Simmo Saan and Julian Erhard and Michael Schwarz and Stanimir Bozhilov and Karoliine Holter and Sarah Tilscher and Vesal Vojdani and Helmut Seidl",
note = "Publisher Copyright: {\textcopyright} The Author(s) 2024.; 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024 ; Conference date: 06-04-2024 Through 11-04-2024",
year = "2024",
doi = "10.1007/978-3-031-57256-2_25",
language = "English",
isbn = "9783031572555",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "381--386",
editor = "Bernd Finkbeiner and Laura Kov{\'a}cs",
booktitle = "Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings",
}