pkg.soopen package index

brew / 排名 5244

使用 Homebrew, apt, dnf, Nix 安装 cbmc

查看 cbmc 的安装路径、可执行文件、元数据以及面向 AI 代理工作流的安全说明。

安装命令安全说明

安装

其他安装命令

macOS

Homebrew已验证 · 100%
brew install cbmc

local Homebrew formula metadata

Linux

Debian apt已验证 · 92%
sudo apt install cbmc

Debian stable package indexes · cbmc · 来源: deb.debian.org

Fedora dnf已验证 · 92%
sudo dnf install cbmc

Fedora Rawhide package metadata · cbmc · 来源: dl.fedoraproject.org

Nix已验证 · 92%
nix profile install nixpkgs#cbmc

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

概览

软件包摘要

C Bounded Model Checker

命令和别名

  • 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

历史

项目历史与用法

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.

项目历史

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.

采用历史

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.

使用方式

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.

为什么软件包爱好者会关心

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.

时间线

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

安全态势

风险级别：绿色

narrow executable package without higher-risk signals.

风险分类器

绿色 风险 · 低 置信度 · appliance

原因

  • narrow executable package without higher-risk signals

信号

  • metadata:no-higher-risk-signals

安装行为

  • 未记录 Homebrew bottle 元数据。

建议审查

在无人值守的代理使用前，请检查该工具是否读取明文凭据、写入远程状态、发布制品或调用插件。

可执行文件

已安装的可执行文件

命令类型暴露范围备注
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可执行文件已索引可执行文件从本地可执行文件索引发现。

新鲜度

版本和新鲜度

这些信号区分页生成时间、软件包管理器活动和上游发布比较。只有存在证据 URL 和可比较版本时，才会提示版本落后。

页面生成时间2026-08-03
管理器版本6.10.0
管理器更新时间2026-06-24
本地数据未知
上游不可用
检测到的最新版本未检测到
  • OK没有生成新鲜度警告。

安装元数据

软件包元数据

软件包键brew:cbmc
版本6.10.0
软件包管理器Homebrew
主页https://www.cprover.org/cbmc/
仓库https://github.com/diffblue/cbmc
最后更新2026-06-24T16:07:58Z
Pulseupdated
Bottle未记录
服务未声明

源数据库匹配

其他软件包管理器记录

匹配项来自外部软件包管理器索引，并与本地 Automic Vault 软件包链接分开显示。

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 依赖
  • 1 可选依赖
  • normalized package name match
  • 匹配方式：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 依赖
  • 1 可选依赖
  • normalized package name match
  • 匹配方式：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
  • 匹配方式：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 依赖
  • 1 可选依赖
  • normalized package name match
  • 匹配方式：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 依赖
  • 1 可选依赖
  • normalized package name match
  • 匹配方式：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.10.0-1.fc45

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 依赖
  • 1 提供
  • normalized package name match
  • 匹配方式：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/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
dnf95%

cbmc-doc 6.10.0-1.fc45

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 提供
  • normalized package name match
  • 匹配方式：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/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
dnf95%

cbmc-utils 6.10.0-1.fc45

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 依赖
  • 1 提供
  • normalized package name match
  • 匹配方式：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/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst

软件包图谱

链接来自本地软件包关系图、补充数据、依赖边、生态匹配和软件包 hub 归属。

来源线索

由仓库数据生成

此页面由 av-web 从 scripts/generate-pkg-sqlite.py 生成的私有软件包 SQLite 工件提供。

使用的来源

  • Geiger risk classifier
  • cross-ecosystem install command graph
  • curated package history
  • external package-manager database matches
  • pkg.so package database
  • pkgdb category and tag curation