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 Release: Goblint 0.9.6

Goblint 0.9.6 is available for download.


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.