cbmc-5.5-2.fc25.x86_64.rpm


Advertisement

Description

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

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

Provides

  • cbmc = 5.5-2.fc25
  • cbmc(x86-64) = 5.5-2.fc25

    Download

    Source package: cbmc-5.5-2.fc25.src.rpm

    Install Howto

    Install the cbmc rpm package:

    # dnf install cbmc

    Files

    • /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

    Advertisement
    Advertisement