Download and Installation
Since the analyzer is rapidly developing, we recommend using the development versions of Goblint and CIL. For Windows, you may use a custom cygwin repository that installs cygwin and goblint.
Binary Distribution (Windows)
Currently, we only provide binary builds on Windows based on the Cygwin environment.
- Download the following archive: goblint.zip
- Extract the archive and run the "install" batch file.
- Click "Next", "Next", "Next", .... (the goblint package is preselected).
- Open the cygwin shell and test goblint:
Building from Sources
Please see the readme file on our github pages for build instructions. There is also prebuilt virtual machine images to test the analyzer.