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