Goblint is a static analyzer for multi-threaded C programs, focusing primarily on data race detection. Goblint is developed at the Technische Universität München (Helmut Seidl) and University of Tartu (Varmo Vene). It is distributed under the MIT license.
Find the source code and installation instructions on our GitHub repository.
For bug reports, please refer to our repository pages on GitHub. Feel free to send Vesal Vojdani an e-mail if you need assistance in installing and using the system.
For generic references to Goblint as a race detection tool, please cite this paper:
@inproceedings{Goblint2016, author = {Vesal Vojdani and Kalmer Apinis and Vootele R{\~{o}}tov and Helmut Seidl and Varmo Vene and Ralf Vogler}, title = {Static race detection for device drivers: the Goblint approach}, booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2016}, pages = {391--402}, publisher = {{ACM}}, year = {2016}, doi = {10.1145/2970276.2970337} }