CBMC Release 5.6

241 views
Skip to first unread message

Daniel Kroening

unread,
Nov 19, 2016, 11:41:38 AM11/19/16
to cpr...@googlegroups.com
We are pleased to announce the release of CBMC version 5.6.

This is a minor release, focused primarily on maintenance. The primary
area of attention was the C, C++ and the Java frontend.

CBMC 5.6 is available in binary form at http://www.cprover.org/cbmc/ for
the following architectures:

* Linux:
http://www.cprover.org/cbmc/download/cbmc-5-6-linux-32.tgz
http://www.cprover.org/cbmc/download/cbmc-5-6-linux-64.tgz

Recall that CBMC packages come with Debian, Ubuntu and Fedora.

* Windows (32 bit and 64 bit):
http://www.cprover.org/cbmc/download/cbmc-5-6-win.zip

* MacOS X binary for 64 bit Intel for OS X 10.6 or higher:
http://www.cprover.org/cbmc/download/cbmc-5-6.pkg

The source code is available on GitHub.

From source, binaries for FreeBSD 10 and Solaris 11 can be built. Note
that CBMC has required a C++11 compiler since version 5.3.

As a reminder, the HTML-based manual is available at:

http://www.cprover.org/cprover-manual/

You may also be interested in the following papers:

* Danger Invariants
http://www.kroening.com/papers/fm2016-danger.pdf

* Sound Static Deadlock Analysis for C/Pthreads
http://www.kroening.com/papers/ase2016.pdf

With best regards,

Daniel
Reply all
Reply to author
Forward
0 new messages