cbmc-5.5-2.fc25.x86_64.rpm


Advertisement

Description

cbmc - Bounded Model Checker for ANSI-C and C++ programs

Property Value
Distribution Fedora 25
Repository Fedora x86_64
Package name cbmc
Package version 5.5
Package release 2.fc25
Package architecture x86_64
Package type rpm
Installed size 36.54 MB
Download size 12.99 MB
Official Mirror dl.fedoraproject.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-5.6-1.fc25.i686.rpm 5.6 i686 Fedora Updates
cbmc-5.6-1.fc25.x86_64.rpm 5.6 x86_64 Fedora Updates
cbmc-5.5-2.fc25.i686.rpm 5.5 i686 Fedora
cbmc - - -

Requires

Name Value
libc.so.6(GLIBC_2.14)(64bit) -
libdl.so.2()(64bit) -
libdl.so.2(GLIBC_2.2.5)(64bit) -
libgcc_s.so.1()(64bit) -
libgcc_s.so.1(GCC_3.0)(64bit) -
libglpk.so.40()(64bit) -
libminisat.so.2()(64bit) -
libstdc++.so.6()(64bit) -
libstdc++.so.6(CXXABI_1.3)(64bit) -
libstdc++.so.6(CXXABI_1.3.1)(64bit) -
libstdc++.so.6(CXXABI_1.3.8)(64bit) -
libstdc++.so.6(CXXABI_1.3.9)(64bit) -
libstdc++.so.6(GLIBCXX_3.4)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.11)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.14)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.15)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.18)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.19)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.20)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.21)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.9)(64bit) -
rtld(GNU_HASH) -
sed -

Provides

Name Value
cbmc = 5.5-2.fc25
cbmc(x86-64) = 5.5-2.fc25

Download

Type URL
Binary Package cbmc-5.5-2.fc25.x86_64.rpm
Source Package cbmc-5.5-2.fc25.src.rpm

Install Howto

Install the cbmc rpm package:

# dnf install cbmc

Files

Path
/usr/bin/cbmc
/usr/bin/cegis
/usr/bin/goto-analyzer
/usr/bin/goto-cc
/usr/bin/goto-diff
/usr/bin/goto-instrument
/usr/bin/musketeer
/usr/bin/symex
/usr/share/doc/cbmc/CBMC-guide.pdf
/usr/share/doc/cbmc/CHANGELOG
/usr/share/doc/cbmc/html-manual/api.shtml
/usr/share/doc/cbmc/html-manual/architecture.shtml
/usr/share/doc/cbmc/html-manual/binsearch.c
/usr/share/doc/cbmc/html-manual/c_to_ir.svg
/usr/share/doc/cbmc/html-manual/cbmc-loops.shtml
/usr/share/doc/cbmc/html-manual/cbmc.shtml
/usr/share/doc/cbmc/html-manual/cegar-1.png
/usr/share/doc/cbmc/html-manual/counter.c
/usr/share/doc/cbmc/html-manual/counter.v
/usr/share/doc/cbmc/html-manual/cprover-source.shtml
/usr/share/doc/cbmc/html-manual/expr.c
/usr/share/doc/cbmc/html-manual/expr.svg
/usr/share/doc/cbmc/html-manual/file1.c
/usr/share/doc/cbmc/html-manual/file2.c
/usr/share/doc/cbmc/html-manual/footer.inc
/usr/share/doc/cbmc/html-manual/gcc-wrap.c
/usr/share/doc/cbmc/html-manual/goto-cc-apache.shtml
/usr/share/doc/cbmc/html-manual/goto-cc-linux.shtml
/usr/share/doc/cbmc/html-manual/goto-cc-rockbox.shtml
/usr/share/doc/cbmc/html-manual/goto-cc-variants.shtml
/usr/share/doc/cbmc/html-manual/goto-cc-visual-studio.shtml
/usr/share/doc/cbmc/html-manual/goto-cc.shtml
/usr/share/doc/cbmc/html-manual/goto_program.svg
/usr/share/doc/cbmc/html-manual/header.inc
/usr/share/doc/cbmc/html-manual/hwsw-inputs.shtml
/usr/share/doc/cbmc/html-manual/hwsw-mapping.shtml
/usr/share/doc/cbmc/html-manual/hwsw-tutorial.shtml
/usr/share/doc/cbmc/html-manual/hwsw.shtml
/usr/share/doc/cbmc/html-manual/index.shtml
/usr/share/doc/cbmc/html-manual/installation-cbmc.shtml
/usr/share/doc/cbmc/html-manual/installation-plugin.shtml
/usr/share/doc/cbmc/html-manual/installation-satabs.shtml
/usr/share/doc/cbmc/html-manual/introduction.shtml
/usr/share/doc/cbmc/html-manual/ireptree.svg
/usr/share/doc/cbmc/html-manual/libraries.shtml
/usr/share/doc/cbmc/html-manual/lock-example-fixed.c
/usr/share/doc/cbmc/html-manual/lock-example.c
/usr/share/doc/cbmc/html-manual/modeling-assertions.shtml
/usr/share/doc/cbmc/html-manual/modeling-floating-point.shtml
/usr/share/doc/cbmc/html-manual/modeling-nondet.shtml
/usr/share/doc/cbmc/html-manual/modeling-pointers.shtml
/usr/share/doc/cbmc/html-manual/properties.shtml
/usr/share/doc/cbmc/html-manual/refinement.png
/usr/share/doc/cbmc/html-manual/ring_buffer1.c
/usr/share/doc/cbmc/html-manual/ring_buffer2.c
/usr/share/doc/cbmc/html-manual/satabs-aeon.shtml
/usr/share/doc/cbmc/html-manual/satabs-background.shtml
/usr/share/doc/cbmc/html-manual/satabs-driver.shtml
/usr/share/doc/cbmc/html-manual/satabs-tutorials.shtml
/usr/share/doc/cbmc/html-manual/satabs.shtml
/usr/share/doc/cbmc/html-manual/states.png
/usr/share/doc/cbmc/html-manual/boop-example/driver.c
/usr/share/doc/cbmc/html-manual/boop-example/driver.h
/usr/share/doc/cbmc/html-manual/boop-example/kdev_t.h
/usr/share/doc/cbmc/html-manual/boop-example/modules.h
/usr/share/doc/cbmc/html-manual/boop-example/spec.c
/usr/share/doc/cbmc/html-manual/highlight/CHANGES.md
/usr/share/doc/cbmc/html-manual/highlight/LICENSE
/usr/share/doc/cbmc/html-manual/highlight/README.md
/usr/share/doc/cbmc/html-manual/highlight/README.ru.md
/usr/share/doc/cbmc/html-manual/highlight/highlight.pack.js
/usr/share/doc/cbmc/html-manual/highlight/styles/agate.css
/usr/share/doc/cbmc/html-manual/highlight/styles/androidstudio.css
/usr/share/doc/cbmc/html-manual/highlight/styles/arduino-light.css
/usr/share/doc/cbmc/html-manual/highlight/styles/arta.css
/usr/share/doc/cbmc/html-manual/highlight/styles/ascetic.css
/usr/share/doc/cbmc/html-manual/highlight/styles/atelier-cave-dark.css
/usr/share/doc/cbmc/html-manual/highlight/styles/atelier-cave-light.css
/usr/share/doc/cbmc/html-manual/highlight/styles/atelier-dune-dark.css
/usr/share/doc/cbmc/html-manual/highlight/styles/atelier-dune-light.css
/usr/share/doc/cbmc/html-manual/highlight/styles/atelier-estuary-dark.css
/usr/share/doc/cbmc/html-manual/highlight/styles/atelier-estuary-light.css
/usr/share/doc/cbmc/html-manual/highlight/styles/atelier-forest-dark.css
/usr/share/doc/cbmc/html-manual/highlight/styles/atelier-forest-light.css
/usr/share/doc/cbmc/html-manual/highlight/styles/atelier-heath-dark.css
/usr/share/doc/cbmc/html-manual/highlight/styles/atelier-heath-light.css
/usr/share/doc/cbmc/html-manual/highlight/styles/atelier-lakeside-dark.css
/usr/share/doc/cbmc/html-manual/highlight/styles/atelier-lakeside-light.css
/usr/share/doc/cbmc/html-manual/highlight/styles/atelier-plateau-dark.css
/usr/share/doc/cbmc/html-manual/highlight/styles/atelier-plateau-light.css
/usr/share/doc/cbmc/html-manual/highlight/styles/atelier-savanna-dark.css
/usr/share/doc/cbmc/html-manual/highlight/styles/atelier-savanna-light.css
/usr/share/doc/cbmc/html-manual/highlight/styles/atelier-seaside-dark.css
/usr/share/doc/cbmc/html-manual/highlight/styles/atelier-seaside-light.css
/usr/share/doc/cbmc/html-manual/highlight/styles/atelier-sulphurpool-dark.css
/usr/share/doc/cbmc/html-manual/highlight/styles/atelier-sulphurpool-light.css
/usr/share/doc/cbmc/html-manual/highlight/styles/brown-paper.css
/usr/share/doc/cbmc/html-manual/highlight/styles/brown-papersq.png
/usr/share/doc/cbmc/html-manual/highlight/styles/codepen-embed.css
/usr/share/doc/cbmc/html-manual/highlight/styles/color-brewer.css
/usr/share/doc/cbmc/html-manual/highlight/styles/dark.css
/usr/share/doc/cbmc/html-manual/highlight/styles/darkula.css
/usr/share/doc/cbmc/html-manual/highlight/styles/default.css
/usr/share/doc/cbmc/html-manual/highlight/styles/docco.css
/usr/share/doc/cbmc/html-manual/highlight/styles/dracula.css
/usr/share/doc/cbmc/html-manual/highlight/styles/far.css
/usr/share/doc/cbmc/html-manual/highlight/styles/foundation.css
/usr/share/doc/cbmc/html-manual/highlight/styles/github-gist.css
/usr/share/doc/cbmc/html-manual/highlight/styles/github.css
/usr/share/doc/cbmc/html-manual/highlight/styles/googlecode.css
/usr/share/doc/cbmc/html-manual/highlight/styles/grayscale.css
/usr/share/doc/cbmc/html-manual/highlight/styles/gruvbox-dark.css
/usr/share/doc/cbmc/html-manual/highlight/styles/gruvbox-light.css
/usr/share/doc/cbmc/html-manual/highlight/styles/hopscotch.css
/usr/share/doc/cbmc/html-manual/highlight/styles/hybrid.css
/usr/share/doc/cbmc/html-manual/highlight/styles/idea.css
/usr/share/doc/cbmc/html-manual/highlight/styles/ir-black.css
/usr/share/doc/cbmc/html-manual/highlight/styles/kimbie.dark.css
/usr/share/doc/cbmc/html-manual/highlight/styles/kimbie.light.css
/usr/share/doc/cbmc/html-manual/highlight/styles/magula.css
/usr/share/doc/cbmc/html-manual/highlight/styles/mono-blue.css
/usr/share/doc/cbmc/html-manual/highlight/styles/monokai-sublime.css
/usr/share/doc/cbmc/html-manual/highlight/styles/monokai.css
/usr/share/doc/cbmc/html-manual/highlight/styles/obsidian.css
/usr/share/doc/cbmc/html-manual/highlight/styles/paraiso-dark.css
/usr/share/doc/cbmc/html-manual/highlight/styles/paraiso-light.css
/usr/share/doc/cbmc/html-manual/highlight/styles/pojoaque.css
/usr/share/doc/cbmc/html-manual/highlight/styles/pojoaque.jpg
/usr/share/doc/cbmc/html-manual/highlight/styles/purebasic.css
/usr/share/doc/cbmc/html-manual/highlight/styles/qtcreator_dark.css
/usr/share/doc/cbmc/html-manual/highlight/styles/qtcreator_light.css
/usr/share/doc/cbmc/html-manual/highlight/styles/railscasts.css
/usr/share/doc/cbmc/html-manual/highlight/styles/rainbow.css
/usr/share/doc/cbmc/html-manual/highlight/styles/school-book.css
/usr/share/doc/cbmc/html-manual/highlight/styles/school-book.png
/usr/share/doc/cbmc/html-manual/highlight/styles/solarized-dark.css
/usr/share/doc/cbmc/html-manual/highlight/styles/solarized-light.css
/usr/share/doc/cbmc/html-manual/highlight/styles/sunburst.css
/usr/share/doc/cbmc/html-manual/highlight/styles/tomorrow-night-blue.css
/usr/share/doc/cbmc/html-manual/highlight/styles/tomorrow-night-bright.css
/usr/share/doc/cbmc/html-manual/highlight/styles/tomorrow-night-eighties.css
/usr/share/doc/cbmc/html-manual/highlight/styles/tomorrow-night.css
/usr/share/doc/cbmc/html-manual/highlight/styles/tomorrow.css
/usr/share/doc/cbmc/html-manual/highlight/styles/vs.css
/usr/share/doc/cbmc/html-manual/highlight/styles/xcode.css
/usr/share/doc/cbmc/html-manual/highlight/styles/xt256.css
/usr/share/doc/cbmc/html-manual/highlight/styles/zenburn.css
/usr/share/licenses/cbmc/LICENSE
/usr/share/man/man1/cbmc.1.gz
/usr/share/man/man1/goto-cc.1.gz
/usr/share/man/man1/goto-instrument.1.gz

Changelog

2016-09-16 - Jerry James <loganjerry@gmail.com> - 5.5-2
- Fix two tests that fail on big endian architectures (bz 1371894)
2016-08-27 - Jerry James <loganjerry@gmail.com> - 5.5-1
- New upstream release
2016-03-17 - Jerry James <loganjerry@gmail.com> - 5.4-1
- New upstream release
2016-03-12 - Jerry James <loganjerry@gmail.com> - 5.3-5
- Rebuild for glpk 4.59
2016-02-19 - Jerry James <loganjerry@gmail.com> - 5.3-4
- Rebuild for glpk 4.58
2016-02-03 - Fedora Release Engineering <releng@fedoraproject.org> - 5.3-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
2016-01-22 - Jerry James <loganjerry@gmail.com> - 5.3-2
- Rebuild for cudd 3.0.0
2015-12-01 - Jerry James <loganjerry@gmail.com> - 5.3-1
- New upstream release
2015-10-07 - Jerry James <loganjerry@gmail.com> - 5.2-1
- New upstream release
2015-10-02 - Jerry James <loganjerry@gmail.com> - 5.1-3
- Rebuild for cudd 2.5.1

See Also

Package Description
cbootimage-1.7-1.fc24.x86_64.rpm Tools to dump and generate boot config table on Tegra devices
cbrpager-0.9.22-12.fc24.x86_64.rpm Simple comic book pager for Linux
ccache-3.3.3-1.fc25.x86_64.rpm C/C++ compiler cache
ccache-swig-3.0.10-2.fc25.x86_64.rpm Fast compiler cache
ccd2iso-0.3-16.fc24.x86_64.rpm CloneCD image to ISO image file converter
ccdciel-0.7.2-1.228svn.fc25.x86_64.rpm CCD capture software
ccgo-0.3.6.5-1.fc24.x86_64.rpm An IGS (Internet Go Server) client written in C++
cciss_vol_status-1.11-3.fc24.x86_64.rpm Show status of logical drives attached to HP SmartArray controllers
cclive-0.9.3-14.fc25.x86_64.rpm Command line media stream extraction tool
ccrtp-2.0.5-12.fc24.i686.rpm Common C++ class framework for RTP/RTCP
ccrtp-2.0.5-12.fc24.x86_64.rpm Common C++ class framework for RTP/RTCP
ccrtp-devel-2.0.5-12.fc24.i686.rpm Header files and libraries for ccrtp development
ccrtp-devel-2.0.5-12.fc24.x86_64.rpm Header files and libraries for ccrtp development
ccrypt-1.10-9.fc24.x86_64.rpm Secure encryption and decryption of files and streams
ccsm-0.8.12.4-2.fc25.noarch.rpm Plugin and configuration tool - Compiz Fusion Project
Advertisement
Advertisement