goto-cc Homepage Compiling GOTO-Programs
About ― Download ― Examples ― Documentation

goto-cc Example Binaries

Here are a few example binaries that we extracted using goto-cc 2.5; just unzip them and load them into on of our modelcheckers using the --binary switch.
FileBinariesSizeLast Modified
bchunk-1.2.0.tar.gz1140.66 KBOct 27 2008 12:22:01
cvs-1.11.22.tar.gz16,181.54 KBOct 27 2008 12:22:03
fetchmail-6.2.5.tar.gz11,682.29 KBOct 27 2008 12:22:04
freecell-solver-2.8.12.tar.gz62,526.90 KBOct 27 2008 12:22:04
gnupg-1.4.4.tar.gz1231,517.31 KBOct 27 2008 12:22:13
gzip-1.2.4a.tar.gz31,555.72 KBOct 27 2008 12:22:14
gzip-1.3.5.tar.gz1566.62 KBOct 27 2008 12:22:15
inn-2.4.3.tar.gz47118,258.12 KBOct 27 2008 12:22:44
jhead-2.6.tar.gz1366.57 KBOct 27 2008 12:22:47
libssh2-0.14.tar.gz11,245.61 KBOct 27 2008 12:22:47
limmat-1.3.tar.gz1388.84 KBOct 27 2008 12:22:48
nanosat-1.3.tar.gz2812.25 KBOct 27 2008 12:22:48
ncompress-4.2.4.tar.gz1147.58 KBOct 27 2008 12:22:48
sendmail-8.13.8.tar.gz918,319.68 KBOct 27 2008 12:22:53
texinfo-4.7.tar.gz42,620.53 KBOct 27 2008 12:22:54
unzip-5.52.tar.gz32,174.79 KBOct 27 2008 12:22:55
wget-1.10.2.tar.gz12,337.68 KBOct 27 2008 12:22:56
wu-ftpd-2.5.0.tar.gz51,864.44 KBOct 27 2008 12:22:56
wu-ftpd-2.6.2.tar.gz62,426.02 KBOct 27 2008 12:22:57
xinetd-2.3.14.tar.gz22,473.87 KBOct 27 2008 12:22:58
zlib-1.2.3.tar.gz21,529.69 KBOct 27 2008 12:22:58
Total110199,136.70 KB

Here are some notes on the compilation of those binaries: NOTES

Powerstone Example Binaries

The Powerstone benchmarks in goto-cc format: powerstone.tar.gz.
The sources are here: powerstone-src.tar.gz.

SNU real-time benchmarks

The SNU real-time benchmarks have their own page: SNU.

goto-cc Examples: How to extract model files

  1. Prerequisite:
    All the following examples assume that you have correctly downloaded and installed goto-cc.
  2. To install goto-cc, go to the download page, download the newest version and extract it, by calling, e.g.:

    tar xfz goto-cc-2.5-linux.tgz

  3. Copy the resulting goto-cc binary to a directory that is in your path, e.g.:

    cp goto-cc ~/bin

  4. If you need linking support (i.e., goto-ld), create a symbolic link the binary:

    ln ~/bin/goto-cc ~/bin/goto-ld -s

  5. Now you're all set to extract model files.
ApplicationLines of code*Description
sendmail-8.13.8 129,864 A popular E-Mail server.
inn-2.4.3 125,891 The internet news daemon.
wu-ftpd-2.6.2 35,311 A popular FTP server.
libssh2-0.14 13,309 A library implementing the ssh2 protocol (for clients).
freecell-solver-2.8.12 20,085 A program that tries to solve instances of Freecell and similar Solitaire games.
nanosat-1.3 7,594 A SAT solver by A. Biere.
limmat-1.3 8,477 Another SAT solver by A. Biere.
bchunk-1.2.0 503 BinChunker - converts cd images from .bin/.cue to .iso format.
jhead-2.6 4,382 An EXIF Jpeg header and thumbnail manipulation program.

* Measured by running find . -name "*.[ch]" | xargs wc -l in the project directory