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.
Goblint 0.9.6 is available for download. Goblint is not yet ready for general consumption. Until the release of version 1.0, we only provide source distributions.
For bug reports, please refer to our repository pages on GitHub. Goblint is not particularly well documented at this moment, so feel free to send Vesal Vojdani an e-mail if you need assistance in installing and using the system.