Automic VaultAutomic Vault

brew

cbmc mit Homebrew, apt, dnf, Nix installieren

Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für cbmc in AI-Agent-Workflows.

InstallationsbefehlSicherheitshinweise

Installation

Weitere Installationsbefehle

macOS

Homebrewverifiziert · 100%
brew install cbmc

local Homebrew formula metadata

Linux

Debian aptverifiziert · 92%
sudo apt install cbmc

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

Fedora dnfverifiziert · 92%
sudo dnf install cbmc

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

Nixverifiziert · 92%
nix profile install nixpkgs#cbmc

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

Überblick

Paketzusammenfassung

C Bounded Model Checker

Befehle und Aliase

  • 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

Verlauf

Projektgeschichte und Nutzung

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.

Projektgeschichte

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.

Adoptionsgeschichte

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.

Wie es verwendet wird

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.

Warum Paket-Nerds sich dafür interessieren

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.

Zeitleiste

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

Sicherheitslage

Risikostufe: grün

narrow executable package without higher-risk signals.

Risikoklassifikator

grün Risiko · niedrig Konfidenz · appliance

Warum

  • narrow executable package without higher-risk signals

Signale

  • metadata:no-higher-risk-signals

Installationsverhalten

  • In den Formelmetadaten ist kein Homebrew-Post-install-Hook erfasst.
  • Homebrew-Bottle-Metadaten sind für 6 Plattformziele verfügbar.
  • Build-Metadaten listen 4 Build-Abhängigkeiten.

Empfohlene Prüfung

Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.

Executables

Installierte Executables

BefehlArtSichtbarkeitHinweis
cbmccliglobales Executable
cprovercliglobales Executable
cranglercliglobales Executable
goto-analyzercliglobales Executable
goto-cccliglobales Executable
goto-diffcliglobales Executable
goto-gcccliglobales Executable
goto-harnesscliglobales Executable
goto-inspectcliglobales Executable
goto-instrumentcliglobales Executable
goto-ldcliglobales Executable
goto-synthesizercliglobales Executable
janalyzercliglobales Executable
jbmccliglobales Executable
jdiffcliglobales Executable
ls_parse.pycliglobales Executable
symtab2gbcliglobales Executable

Aktualität

Version und Aktualität

Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.

Seite generiert2026-07-08
Manager-Version6.10.0
Manager aktualisiert2026-06-24
lokale DatenOK
Upstreamnot checked
neueste erkannte Versionnicht erkannt

https://github.com/diffblue/cbmc

Installationsmetadaten

Paketmetadaten

Paketschlüsselbrew:cbmc
Version6.10.0
PaketmanagerHomebrew
Paketmanager-Seitehttps://formulae.brew.sh/formula/cbmc
Homepagehttps://www.cprover.org/cbmc/
Repositoryhttps://github.com/diffblue/cbmc
Upstream-Dokumentationhttps://diffblue.github.io/cbmc/cprover_documentation.html
LizenzBSD-4-Clause
Quellarchivhttps://github.com/diffblue/cbmc.git
Zuletzt aktualisiert2026-06-24T16:07:58Z
Pulseupdated
Build-Abhängigkeitencmake, maven, openjdk@21, rust
Bottleverfügbar (auf arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-installnicht definiert
Dienstkeiner deklariert

Registry-Fakten

Details aus der Quelldatenbank

Source DatabaseHomebrew formula API
Taphomebrew/core
Full Namecbmc
Version Scheme0
Revision0
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedno
Disabledno
Keg Onlyno
URL Keys
  • stable

Source-Datenbank-Treffer

Andere Paketmanager-Einträge

Treffer stammen aus externen Paketmanager-Indizes und bleiben von lokalen Automic-Vault-Paketlinks getrennt.

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 Abhängigkeiten
  • 1 optionale Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: 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 Abhängigkeiten
  • 1 optionale Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: 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
  • Abgeglichen nach: 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 Abhängigkeiten
  • 1 optionale Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: 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 Abhängigkeiten
  • 1 optionale Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: 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 Abhängigkeiten
  • 1 stellt bereit
  • normalized package name match
  • Abgeglichen nach: 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 stellt bereit
  • normalized package name match
  • Abgeglichen nach: 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 Abhängigkeiten
  • 1 stellt bereit
  • normalized package name match
  • Abgeglichen nach: 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

Paketgraph

Links stammen aus dem lokalen Paketbeziehungsgraph, Ergänzungen, Abhängigkeitskanten, Ecosystem-Matches und Paket-Hub-Mitgliedschaft.

Verwandte Tools

  • cmakeBuild dependency declared by Homebrew.
  • mavenBuild dependency declared by Homebrew.
  • openjdk@21Build dependency declared by Homebrew.
  • rustBuild dependency declared by Homebrew.

Gleicher Workflow

  • cppcheckShares av.db curated category or tags: c, c-plus-plus, cli, developer-tools, static-analysis.
  • aarch64-elf-gccShares av.db curated category or tags: c, c-plus-plus, cli, developer-tools.
  • alive2Shares av.db curated category or tags: cli, developer-tools, verification.
  • astyleShares av.db curated category or tags: c, c-plus-plus, cli, developer-tools.
  • build2Shares av.db curated category or tags: c, c-plus-plus, cli, developer-tools.
  • castxmlShares av.db curated category or tags: c, c-plus-plus, cli, developer-tools.

Quellspur

Aus Repository-Daten generiert

Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.

Verwendete Quellen

  • 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