Goblint

Documentation can be browsed on Read the Docs or GitHub.

Installing

Both for using an up-to-date version of Goblint or developing it, the best way is to install from source by cloning this repository.

The goblint package on opam is very outdated and should currently not be used.

Linux

1. Install opam.
2. Make sure the following are installed: git patch m4 autoconf libgmp-dev libmpfr-dev.
3. Run make setup to install OCaml and dependencies via opam.
4. Run make to build Goblint itself.

MacOS

1. Install GCC with brew install gcc (first run xcode-select --install if you don't want to build it from source). Goblint requires GCC while macOS's default cpp is Clang, which will not work.
2. Continue using Linux instructions.

Windows

1. Install WSL.
2. Continue using Linux instructions in WSL.

Other

• Docker. Clone and run make docker.
• Vagrant. Clone and run vagrant up && vagrant ssh.
• Docker Hub (outdated). Run docker run -it voglerr/goblint bash.
• opam (very outdated). Run opam install goblint.

Running

To confirm that the installation worked, you can try running Goblint as follows:

./goblint tests/regression/04-mutex/01-simple_rc.c

For further information, see documentation.