We provide Windows, Linux, and Mac OS binaries of the latest stable version of Goblint. Instructions for how to obtain the sources and building it yourself are available on the Goblint development website.
You first need to install the command line tool. Download and extract one of the following packages.
You can test if the analyzer works by running it on the test programs; for example:
./goblint tests/regression/04-mutex/01-simple_rc.cIf this works, you are ready to use the analyzer. In order to analyze larger C projects, you have to give all source files as parameter to the analyzer.
There is a preliminary version of an Eclipse plug-in available. You need to have Eclipse and the CDT installed. Then, you can obtain the plug-in through the following update site:
http://goblin.at.mt.ut.ee/goblint/update
You can either set it through Help → Install New Software ...→ Add ... or by going to the update site and downloading it manually and placing it the Eclipse plug-in folder. Then, you need to indicate the location of the executible through Window → Preferences... → C/C++ → Goblin. Finally, you may need to reset the C/C++ perspective (Window → Reset Perspective ...).
When the plug-in is installed. You can call the analyzer by right-clicking in a source file and selecting "Run the Goblin" Unfortunately, this only works if you start the project as a Makefile project. Note that the plug-in feeds all C-files of a project to the analyzer irrespective of which file is active.