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.5-alpha1

A fairly usable alpha release is now available for download. This version integrates many of our different development branches, including support for the Autosar/OSEK platform and race detection for the heap; however, these features are not yet complete. We expect a stable release in early 2011.

Support

For bug reports, please use our issue tracker. 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.