cbmc_4.9-4_i386.deb


Advertisement

Description

cbmc - bounded model checker for C and C++ programs

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main i386
Package name cbmc
Package version 4.9
Package release 4
Package architecture i386
Package type deb
Installed size 11.70 KB
Download size 2.50 MB
Official Mirror ftp.br.debian.org
CBMC generates traces that demonstrate how an assertion can be violated, or
proves that the assertion cannot be violated within a given number of loop
iterations.

Alternatives

Package Version Architecture Repository
cbmc_4.9-4_amd64.deb 4.9 amd64 Debian Main
cbmc - - -

Requires

Name Value
gcc -
libc6 >= 2.4
libgcc1 >= 1:4.1.1
libstdc++6 >= 4.9
minisat -

Download

Type URL
Binary Package cbmc_4.9-4_i386.deb
Source Package cbmc

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install cbmc deb package:
    # sudo apt-get install cbmc

Files

Path
/usr/bin/cbmc
/usr/bin/goto-cc
/usr/bin/goto-instrument
/usr/share/doc/cbmc/changelog.Debian.gz
/usr/share/doc/cbmc/changelog.gz
/usr/share/doc/cbmc/copyright
/usr/share/man/man1/cbmc.1.gz
/usr/share/man/man1/goto-cc.1.gz
/usr/share/man/man1/goto-instrument.1.gz

Changelog

2014-10-11 - Michael Tautschnig <mt@debian.org>
cbmc (4.9-4) unstable; urgency=low
* Work around binutils regression using ar rcf instead of ld -r. Thanks
Matthias Klose for the suggestion. (Closes: #763228)
2014-08-07 - Michael Tautschnig <mt@debian.org>
cbmc (4.9-3) unstable; urgency=low
* Actually fix most instances of missing big-endian support
* Fixes for SH-4 and ARM64 configuration
2014-08-06 - Michael Tautschnig <mt@debian.org>
cbmc (4.9-2) unstable; urgency=low
* Again mark several tests as KNOWNBUG due to incomplete big-endian
support
2014-08-03 - Michael Tautschnig <mt@debian.org>
cbmc (4.9-1) unstable; urgency=low
* New upstream release
* All 4.7 patches merged
2014-07-15 - Michael Tautschnig <mt@debian.org>
cbmc (4.7-2) unstable; urgency=low
* Mark tests Pointer_Arithmetic12, Pointer_byte_extract{2,3,5}
as KNOWNBUG due to incomplete big-endian support
(Closes: #754717)
2014-06-28 - Michael Tautschnig <mt@debian.org>
cbmc (4.7-1) unstable; urgency=low
* New upstream release
* All 4.5 patches merged
* Updated Standards version to 3.9.5 (no changes required)
* Added support for mips ABI n32, n64.
Thanks Sphinx Jiang (Closes: #752072)
2013-08-26 - Michael Tautschnig <mt@debian.org>
cbmc (4.5-2) unstable; urgency=low
* Fixed typo in powerpc sub-arch configuration causing FTBFS
2013-08-25 - Michael Tautschnig <mt@debian.org>
cbmc (4.5-1) unstable; urgency=low
* New upstream release
* All 4.4 patches merged
2013-07-10 - Michael Tautschnig <mt@debian.org>
cbmc (4.4-2) unstable; urgency=low
* armhf requires __ARM_PCS_VFP to be defined
2013-07-10 - Michael Tautschnig <mt@debian.org>
cbmc (4.4-1) unstable; urgency=low
* New upstream release (Closes: #701253, #713605)

See Also

Package Description
cbootimage_1.4-1_i386.deb Tools to dump and generate boot config table on Tegra devices
cbp2make_147+dfsg-1_i386.deb Makefile generation tool for the Code::Blocks IDE
cbrpager_0.9.22-2_i386.deb viewer for CBR, CBZ and CB7 (comic book archive) files
cc1111_2.9.0-4_i386.deb C Compiler for TI/Chipcon 8051-based RF SOCs
ccache_3.1.12-1_i386.deb Compiler cache for fast recompilation of C/C++ code
ccal_4.0-3_i386.deb Colorised calendar utility
ccbuild_2.0.6-3_i386.deb source scanning build utility for C++
cccc_3.1.4-7_i386.deb C and C++ Code Counter, a software metrics tool
cccd_0.3beta4-7.1_i386.deb Small GTK+ CD player program
ccd2iso_0.3-4_i386.deb Converter from CloneCD disc image format to standard ISO
cciss-vol-status_1.11-2_i386.deb HP SmartArray RAID Volume Status Checker
cclib_1.1-1_all.deb Parsers and algorithms for computational chemistry
cclive_0.7.16-2+b1_i386.deb lightweight command line video extraction tool
ccontrol_1.0-1_i386.deb Compilation controller
cconv_0.6.2-1.1_i386.deb simplified-traditional chinese conversion tool
Advertisement
Advertisement