# cbmc mit Homebrew, apt, dnf, Nix installieren Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für cbmc in AI-Agent-Workflows. ## Installation ```sh sudo av install brew:cbmc ``` Weitere Installationsbefehle: ### macOS - Homebrew (100%): ```sh brew install cbmc ``` Evidenz: local Homebrew formula metadata ### Linux - Debian apt (92%): ```sh sudo apt install cbmc ``` Evidenz: Debian stable package indexes: cbmc from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz - dnf (92%): ```sh sudo dnf install cbmc ``` Evidenz: Fedora Rawhide package metadata: cbmc from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst - Nix (92%): ```sh nix profile install nixpkgs#cbmc ``` Evidenz: nixpkgs package indexes: pkgs/by-name/cb/cbmc/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1 ## Paketfakten - **Paketschlüssel:** brew:cbmc - **Paketmanager:** Homebrew - **Paketmanager-Seite:** - **Version:** 6.10.0 - **Quellzusammenfassung:** C Bounded Model Checker - **Homepage:** - **Repository:** - **Upstream-Dokumentation:** - **Lizenz:** BSD-4-Clause - **Quellarchiv:** - **Zuletzt aktualisiert:** 2026-06-24T16:07:58Z - **Generiert:** 2026-07-08T07:18:31+00:00 ## Executables - cbmc (cli) - cprover (cli) - crangler (cli) - goto-analyzer (cli) - goto-cc (cli) - goto-diff (cli) - goto-gcc (cli) - goto-harness (cli) - goto-inspect (cli) - goto-instrument (cli) - goto-ld (cli) - goto-synthesizer (cli) - janalyzer (cli) - jbmc (cli) - jdiff (cli) - ls_parse.py (cli) - symtab2gb (cli) - cbmc (Alias) - cprover (Alias) - crangler (Alias) - goto-analyzer (Alias) - goto-cc (Alias) - goto-diff (Alias) - goto-gcc (Alias) - goto-harness (Alias) - goto-inspect (Alias) - goto-instrument (Alias) - goto-ld (Alias) - goto-synthesizer (Alias) - janalyzer (Alias) - jbmc (Alias) - jdiff (Alias) - ls_parse.py (Alias) - symtab2gb (Alias) ## Build-Abhängigkeiten - cmake - maven - openjdk@21 - rust ## Installationsverhalten - Post-install-Hook: nicht definiert - Bottle: verfügbar auf arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux ## Version und Aktualität - Seite generiert: 2026-07-08 - Manager-Version: 6.10.0 - Manager aktualisiert: 2026-06-24 - lokale Daten: OK - Upstream-Repository: https://github.com/diffblue/cbmc - Info: No cached GitHub release or tag data was available. ## 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. ### Quellen - - - - - - - ## Sicherheitshinweise narrow executable package without higher-risk signals. - **Geiger-Risiko:** grün / niedrig - narrow executable package without higher-risk signals ## Details aus der Quelldatenbank - **Source Database:** Homebrew formula API - **Tap:** homebrew/core - **Full Name:** cbmc - **Version Scheme:** 0 - **Revision:** 0 - **Bottle Stable Root URL:** - **Deprecated:** no - **Disabled:** no - **Keg Only:** no - **URL Keys:** stable ## Andere Paketmanager-Einträge - Debian apt - cbmc - 6.6.0-4: normalized package name match | Debian stable package indexes: cbmc from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | bounded model checker for C and C++ programs | http://www.cprover.org/cbmc/ - Debian apt - jbmc - 6.6.0-4: normalized package name match | Debian stable package indexes: jbmc from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | bounded model checker for Java programs | http://www.cprover.org/cbmc/ - Nix - cbmc: normalized package name match | nixpkgs package indexes: pkgs/by-name/cb/cbmc/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1 - Ubuntu apt - cbmc - 5.95.1-4ubuntu1: normalized package name match | Ubuntu 24.04 LTS package indexes: cbmc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | bounded model checker for C and C++ programs | http://www.cprover.org/cbmc/ - Ubuntu apt - jbmc - 5.95.1-4ubuntu1: normalized package name match | Ubuntu 24.04 LTS package indexes: jbmc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | bounded model checker for Java programs | http://www.cprover.org/cbmc/ - dnf - cbmc - 6.8.0-1.fc44: normalized package name match | Fedora Rawhide package metadata: cbmc from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst | Bounded Model Checker for ANSI-C and C++ programs | https://www.cprover.org/cbmc - dnf - cbmc-doc - 6.8.0-1.fc44: normalized package name match | 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 | Documentation for cbmc | https://www.cprover.org/cbmc - dnf - cbmc-utils - 6.8.0-1.fc44: normalized package name match | 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 | Output conversion utilities for CBMC | https://www.cprover.org/cbmc ## Verwandte Links - [Terminal utility packages](https://www.automicvault.com/de/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata. - [Text processing packages](https://www.automicvault.com/de/pkg/text-processing-tools/) - Matched text, document, or structured-data processing metadata. - [Developer build packages](https://www.automicvault.com/de/pkg/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata. - [Networking and protocol packages](https://www.automicvault.com/de/pkg/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata. - [cmake](https://www.automicvault.com/de/pkg/brew/cmake/) - Build dependency declared by Homebrew. - [maven](https://www.automicvault.com/de/pkg/brew/maven/) - Build dependency declared by Homebrew. - [openjdk@21](https://www.automicvault.com/de/pkg/brew/openjdk-21/) - Build dependency declared by Homebrew. - [rust](https://www.automicvault.com/de/pkg/brew/rust/) - Build dependency declared by Homebrew. - [cppcheck](https://www.automicvault.com/de/pkg/brew/cppcheck/) - Shares av.db curated category or tags: c, c-plus-plus, cli, developer-tools, static-analysis. - [aarch64-elf-gcc](https://www.automicvault.com/de/pkg/brew/aarch64-elf-gcc/) - Shares av.db curated category or tags: c, c-plus-plus, cli, developer-tools. - [alive2](https://www.automicvault.com/de/pkg/brew/alive2/) - Shares av.db curated category or tags: cli, developer-tools, verification. - [astyle](https://www.automicvault.com/de/pkg/brew/astyle/) - Shares av.db curated category or tags: c, c-plus-plus, cli, developer-tools. - [build2](https://www.automicvault.com/de/pkg/brew/build2/) - Shares av.db curated category or tags: c, c-plus-plus, cli, developer-tools. - [castxml](https://www.automicvault.com/de/pkg/brew/castxml/) - Shares av.db curated category or tags: c, c-plus-plus, cli, developer-tools. - [ccache](https://www.automicvault.com/de/pkg/brew/ccache/) - Shares av.db curated category or tags: c, c-plus-plus, cli, developer-tools. - [ccheck](https://www.automicvault.com/de/pkg/brew/ccheck/) - Shares av.db curated category or tags: c, cli, developer-tools, static-analysis. - [dafny](https://www.automicvault.com/de/pkg/brew/dafny/) - Local package facts share a topical domain. Shared terms: analysis, cli, developer, developer-tools, formal. - [spin](https://www.automicvault.com/de/pkg/brew/spin/) - Local package facts share a topical domain. Shared terms: checking, cli, developer, developer-tools, formal. ## Combined YAML source View the package source record on GitHub. [combined/cbmc.yml](https://github.com/automic-vault/db/blob/main/combined/cbmc.yml) ## Quellen - Nucleus package database - Geiger risk classifier - package-page enrichment - curated package history - package version freshness - av.db category and tag curation - package relationship graph - external package-manager database matches - cross-ecosystem install command graph