Home

Jump to bottom Edit New page

vesalvojdani edited this page Sep 16, 2011 · 13 revisions

Getting the latest sources:

mkdir goblint && cd goblint
git clone git://github.com/goblint/analyzer
git clone git://github.com/kerneis/cil

If you also need to analyze Kernel code, continue as follows:

git clone git://github.com/goblint/bench

The Eclipse plugin can now be installed by using the following update site: http://goblint.in.tum.de/plugin.