Information for cbmc

Versions

• 5.11.r1339.gabbb38942
• 5.84.0 (2)
• 5.76.1
• 5.70.0
• 5.50.0
• 5.38.0
• 5.25.0
• 5.12 (2)
• 5.11 (2)
• 5.10 (2)
• 5.8
• 5.7
• 5.6
• 5.5
• 5.3
• 4.5

Package names

• cbmc (6)
• cbmc-bin
• cbmc-git

Repositories

• AUR
• Debian 10
• Debian 11
• Debian Unstable
• Deepin
• Devuan 3.0
• Devuan 4.0
• Devuan Unstable
• Fedora 26
• Fedora 27
• Fedora 28
• Fedora 29
• Fedora 30
• Fedora 31
• Fedora 32
• Fedora 33
• Fedora 34
• Fedora 35
• Fedora 36
• Fedora 37
• Fedora 38
• Fedora Rawhide
• Homebrew
• nixpkgs stable 22.11
• nixpkgs unstable
• OpenBSD Ports
• Pardus 21
• Parrot
• PureOS Amber
• PureOS landing
• Raspbian Oldstable
• Raspbian Stable
• Trisquel 10.0
• Trisquel 11.0
• Ubuntu 14.04
• Ubuntu 16.04
• Ubuntu 18.04
• Ubuntu 20.04
• Ubuntu 22.04
• Ubuntu 22.10
• Ubuntu 23.04
• Ubuntu 23.10
• Ubuntu 23.10 Proposed

Categories

• Unspecified
• devel
• science
• universe/science

Licenses

• BSD with advertising
• BSD-4-Clause (2)
• custom

Summaries

• Bounded Model Checker for ANSI-C and C++ programs
• Bounded Model Checker for C and C++ programs
• Bounded Model Checking for ANSI-C
• C Bounded Model Checker
• CBMC is a Bounded Model Checker for C and C++ programs

Maintainers

• c@jia.je
• mages.simon@googlemail.com
• mt@debian.org
• pythonshell@aur
• ubuntu-devel-discuss@lists.ubuntu.com

• Group email

Homepage links

• http://www.cprover.org/cbmc/^ok (5)
• https://github.com/diffblue/cbmc^{ok, no IPv6}
• https://www.cprover.org/cbmc^ok
• https://www.cprover.org/cbmc/^ok

All package recipes

• https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=cbmc^ok
• https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=cbmc-bin^ok
• https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=cbmc-git^ok
• https://github.com/Homebrew/homebrew-core/blob/master/Formula/cbmc.rb^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/nixos-unstable/pkgs/applications/science/logic/cbmc/default.nix#L80^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-22.11/pkgs/applications/science/logic/cbmc/default.nix#L76^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cbmc/blob/f26/f/cbmc.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cbmc/blob/f27/f/cbmc.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cbmc/blob/f28/f/cbmc.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cbmc/blob/f29/f/cbmc.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cbmc/blob/f30/f/cbmc.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cbmc/blob/f31/f/cbmc.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cbmc/blob/f32/f/cbmc.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cbmc/blob/f33/f/cbmc.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cbmc/blob/f34/f/cbmc.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cbmc/blob/f35/f/cbmc.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cbmc/blob/f36/f/cbmc.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cbmc/blob/f37/f/cbmc.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cbmc/blob/f38/f/cbmc.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cbmc/blob/rawhide/f/cbmc.spec^{ok, no IPv6}

Downloads

• http://ftp.au.debian.org/debian/pool/main/m/minisat2/minisat2_2.2.1.orig.tar.gz^ok
• http://ftp.de.debian.org/debian/pool/main/m/minisat2/minisat2_2.2.1.orig.tar.gz^{ok, no IPv6}
• http://ftp.debian.org/debian/pool/main/m/minisat2/minisat2_2.2.1.orig.tar.gz^ok
• http://ftp.fr.debian.org/debian/pool/main/m/minisat2/minisat2_2.2.1.orig.tar.gz^ok
• http://ftp.nl.debian.org/debian/pool/main/m/minisat2/minisat2_2.2.1.orig.tar.gz^ok
• http://ftp.uk.debian.org/debian/pool/main/m/minisat2/minisat2_2.2.1.orig.tar.gz^ok
• http://ftp.us.debian.org/debian/pool/main/m/minisat2/minisat2_2.2.1.orig.tar.gz^ok
• https://deb.debian.org/debian/pool/main/m/minisat2/minisat2_2.2.1.orig.tar.gz^ok
• https://github.com/diffblue/cbmc/archive/cbmc-5.5/cbmc-cbmc-5.5.tar.gz^{ok, no IPv6}

Build logs

• https://kojipkgs.fedoraproject.org/packages/cbmc/5.10/1.fc29/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cbmc/5.11/1.fc30/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cbmc/5.11/2.fc30/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cbmc/5.11/4.fc31/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cbmc/5.11/5.fc32/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cbmc/5.12/2.fc33/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cbmc/5.25.0/1.fc32/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cbmc/5.25.0/1.fc34/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cbmc/5.38.0/1.fc33/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cbmc/5.38.0/1.fc35/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cbmc/5.50.0/1.fc34/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cbmc/5.50.0/1.fc35/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cbmc/5.50.0/1.fc36/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cbmc/5.50.0/2.fc37/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cbmc/5.50.0/4.fc38/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cbmc/5.50.0/4.fc39/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cbmc/5.7/1.fc26/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cbmc/5.7/3.fc27/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cbmc/5.8/2.fc28/data/logs/^{ok, no IPv6}