The Goblint Analyzer

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 BSD license.

Latest Pre-Release: Goblint 0.9.7

See the download page for build instructions.

Support

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.

Citing Goblint

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}
}