软件包：cbmc（5.12-5）

[ 源代码： cbmc  ]

bounded model checker for C and C++ programs

CBMC generates traces that demonstrate how an assertion can be violated, or proves that the assertion cannot be violated within a given number of loop iterations.

标签: 角色: 程序

其他与 cbmc 有关的软件包

• dep: gcc

  GNU C 编译器

• dep: libc6 (>= 2.29)

  GNU C 语言运行库：共享库
  同时作为一个虚包由这些包填实： libc6-udeb

• dep: libgcc-s1 (>= 3.0) [s390x]

  GCC 支持库

  dep: libgcc-s1 (>= 3.4) [amd64]

  dep: libgcc-s1 (>= 3.5) [armel, armhf]

  dep: libgcc-s1 (>= 4.2) [除 amd64, armel, armhf, s390x]

• dep: libstdc++6 (>= 9)

  GNU 标准 C++ 库，第3版

• dep: minisat

  Fast and lightweight SAT solver

• sug: gdb

  GNU Debugger
  同时作为一个虚包由这些包填实： gdb-minimal

下载 cbmc

下载可用于所有硬件架构的

硬件架构	软件包大小	安装后大小	文件
amd64	17,316.1 kB	65,585.0 kB	[文件列表]
arm64	13,137.5 kB	58,325.0 kB	[文件列表]
armel	11,707.4 kB	54,321.0 kB	[文件列表]
armhf	10,927.9 kB	39,741.0 kB	[文件列表]
i386	18,355.8 kB	70,193.0 kB	[文件列表]
mips64el	14,072.4 kB	79,905.0 kB	[文件列表]
mipsel	14,211.2 kB	77,832.0 kB	[文件列表]
ppc64el	16,053.0 kB	72,026.0 kB	[文件列表]
s390x	14,665.3 kB	64,997.0 kB	[文件列表]