installation

Commandes d'installation supplémentaires

macOS

Homebrewvérifié · 100%

brew install cbmc

local Homebrew formula metadata

Linux

Debian aptvérifié · 92%

sudo apt install cbmc

Debian stable package indexes · cbmc · Source: deb.debian.org

Fedora dnfvérifié · 92%

sudo dnf install cbmc

Fedora Rawhide package metadata · cbmc · Source: dl.fedoraproject.org

Nixvérifié · 92%

nix profile install nixpkgs#cbmc

nixpkgs package indexes · pkgs/by-name/cb/cbmc/package.nix · Source: api.github.com

aperçu

Résumé du paquet

C Bounded Model Checker

Liens du projet

Commandes et alias

cbmc
cprover
crangler
goto-analyzer
goto-cc
goto-diff
goto-gcc
goto-harness
goto-inspect
goto-instrument
goto-ld
goto-synthesizer
janalyzer
jbmc
jdiff
ls_parse.py
symtab2gb

historique

Historique du projet et usages

CBMC is the C Bounded Model Checker, a CProver formal-verification tool for checking C and C++ programs for memory safety, undefined behavior, assertions, and related properties.

Historique du projet

The CProver site presents CBMC as a bounded model checker for C and C++ and names Daniel Kroening as the contact. The current Diffblue GitHub repository was created in 2016 and remains the development repository for CBMC and related CProver tools.

Historique d'adoption

Official documentation notes availability for Linux, Windows, and macOS, including Debian/Ubuntu packages, release binaries, and Homebrew. The supplied package facts also show cbmc packaged by Homebrew, Debian, Ubuntu, Fedora, and Nix.

Modes d'utilisation

CBMC analyzes programs by unwinding loops and passing the resulting formula to a decision procedure. The tool suite includes `cbmc`, `goto-cc`, `goto-instrument`, `goto-analyzer`, `jbmc`, and related utilities for producing and analyzing goto programs.

Pourquoi les passionnés de paquets s'y intéressent

CBMC is a heavyweight developer-tools package because a single install exposes a mature formal-methods toolchain rather than just one binary. It is notable in package collections as a command-line verification suite that can slot into CI and compiler-like workflows.

Chronologie

2016: Current public GitHub repository created.
2025: CBMC 6.7 and 6.8 release series published on GitHub.
2026: CBMC 6.9 and 6.10 releases published on GitHub.

Related projects

The CProver tool family includes JBMC for Java bytecode, goto-analyzer, goto-cc/goto-gcc/goto-ld, goto-diff, goto-harness, goto-instrument, janalyzer, jdiff, and related solver utilities.

Sources

posture de sécurité

Niveau de risque : vert

narrow executable package without higher-risk signals.

Classificateur de risque

risque vert · confiance faible · appliance

Pourquoi

narrow executable package without higher-risk signals

Signaux

metadata:no-higher-risk-signals

Comportement d'installation

Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
Les métadonnées de bottle Homebrew sont disponibles pour 6 plateformes.
Les métadonnées de compilation listent 4 dépendances de compilation.

Revue recommandée

Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.

exécutables

Exécutables installés

Commande	Type	Exposition
`cbmc`	cli	exécutable global
`cprover`	cli	exécutable global
`crangler`	cli	exécutable global
`goto-analyzer`	cli	exécutable global
`goto-cc`	cli	exécutable global
`goto-diff`	cli	exécutable global
`goto-gcc`	cli	exécutable global
`goto-harness`	cli	exécutable global
`goto-inspect`	cli	exécutable global
`goto-instrument`	cli	exécutable global
`goto-ld`	cli	exécutable global
`goto-synthesizer`	cli	exécutable global
`janalyzer`	cli	exécutable global
`jbmc`	cli	exécutable global
`jdiff`	cli	exécutable global
`ls_parse.py`	cli	exécutable global
`symtab2gb`	cli	exécutable global

fraîcheur

Version et fraîcheur

Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.

page générée2026-07-08

version du gestionnaire6.10.0

gestionnaire mis à jour2026-06-24

données localesOK

amontnot checked

dernière version détectéenon détecté

https://github.com/diffblue/cbmc

infoNo cached GitHub release or tag data was available.https://github.com/diffblue/cbmcconfiance none

métadonnées d'installation

Métadonnées du paquet

Clé du paquet	brew:cbmc
Version	6.10.0
Gestionnaire de paquets	Homebrew
Page du gestionnaire de paquets	https://formulae.brew.sh/formula/cbmc
Page d'accueil	https://www.cprover.org/cbmc/
Dépôt	https://github.com/diffblue/cbmc
Docs amont	https://diffblue.github.io/cbmc/cprover_documentation.html
Licence	BSD-4-Clause
Archive source	https://github.com/diffblue/cbmc.git
Dernière mise à jour	2026-06-24T16:07:58Z
Pulse	updated
Dépendances de compilation	cmake, maven, openjdk@21, rust
Bouteille	disponible (sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
post-install Homebrew	non défini
Service	aucun déclaré

faits du registre

Détails de la base source

Source Database	Homebrew formula API
Tap	homebrew/core
Full Name	cbmc
Version Scheme	0
Revision	0
Bottle Stable Root URL	https://ghcr.io/v2/homebrew/core
Deprecated	no
Disabled	no
Keg Only	no
URL Keys	stable

correspondances dans les bases sources

Autres enregistrements de gestionnaires de paquets

Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.

Debian apt95%

cbmc 6.6.0-4

bounded model checker for C and C++ programs

http://www.cprover.org/cbmc/

sudo apt install cbmc

Section: science
Architecture: amd64
5 Dépendances
1 dépendances optionnelles
normalized package name match
Correspondance par : Cbmc

Debian stable package indexes · deb.debian.org · Debian stable package indexes: cbmc from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

Debian apt95%

jbmc 6.6.0-4

bounded model checker for Java programs

http://www.cprover.org/cbmc/

sudo apt install jbmc

Section: science
Architecture: amd64
Source Package: cbmc
4 Dépendances
1 dépendances optionnelles
normalized package name match
Correspondance par : Cbmc

Debian stable package indexes · deb.debian.org · Debian stable package indexes: jbmc from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

Nix95%

cbmc

nix profile install nixpkgs#cbmc

normalized package name match
Correspondance par : Cbmc

nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/cb/cbmc/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

Ubuntu apt95%

cbmc 5.95.1-4ubuntu1

bounded model checker for C and C++ programs

http://www.cprover.org/cbmc/

sudo apt install cbmc

Section: universe/science
Architecture: amd64
5 Dépendances
1 dépendances optionnelles
normalized package name match
Correspondance par : Cbmc

Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: cbmc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

Ubuntu apt95%

jbmc 5.95.1-4ubuntu1

bounded model checker for Java programs

http://www.cprover.org/cbmc/

sudo apt install jbmc

Section: universe/science
Architecture: amd64
Source Package: cbmc
4 Dépendances
1 dépendances optionnelles
normalized package name match
Correspondance par : Cbmc

Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: jbmc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

dnf95%

cbmc 6.8.0-1.fc44

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

https://www.cprover.org/cbmc

sudo dnf install cbmc

License: BSD-4-Clause
Category: Unspecified
Architecture: x86_64
Source Package: cbmc
7 Dépendances
1 fournit
normalized package name match
Correspondance par : Cbmc

Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: cbmc from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst

dnf95%

cbmc-doc 6.8.0-1.fc44

Documentation for cbmc

https://www.cprover.org/cbmc

sudo dnf install cbmc-doc

License: BSD-4-Clause
Category: Unspecified
Architecture: x86_64
Source Package: cbmc
1 fournit
normalized package name match
Correspondance par : Cbmc

Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: cbmc-doc from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst

dnf95%

cbmc-utils 6.8.0-1.fc44

Output conversion utilities for CBMC

https://www.cprover.org/cbmc

sudo dnf install cbmc-utils

License: BSD-4-Clause
Category: Unspecified
Architecture: x86_64
Source Package: cbmc
2 Dépendances
1 fournit
normalized package name match
Correspondance par : Cbmc

Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: cbmc-utils from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst

graphe de paquets

Les liens viennent du graphe local de relations entre paquets, des suppléments, des dépendances, des correspondances d'écosystèmes et de l'appartenance aux hubs.

piste source

Généré depuis les données du dépôt

Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.

Combined YAML source

View the package source record on GitHub.

combined/cbmc.yml

Sources utilisées

Geiger risk classifier
Nucleus package database
av.db category and tag curation
cross-ecosystem install command graph
curated package history
external package-manager database matches
package relationship graph
package version freshness
package-page enrichment

Installer cbmc avec Homebrew, apt, dnf, Nix

Commandes d'installation supplémentaires

macOS

Linux

Résumé du paquet

Liens du projet

Commandes et alias

Historique du projet et usages

Historique du projet

Historique d'adoption

Modes d'utilisation

Pourquoi les passionnés de paquets s'y intéressent

Chronologie

Related projects

Sources

Niveau de risque : vert

Classificateur de risque

Pourquoi

Signaux

Comportement d'installation

Revue recommandée

Exécutables installés

Version et fraîcheur

Métadonnées du paquet

Détails de la base source

Autres enregistrements de gestionnaires de paquets

Liens internes de paquets

Hubs thématiques

Outils liés

Même workflow

Guides de sécurité des agents

Généré depuis les données du dépôt

Combined YAML source

Sources utilisées