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