Paket: cbmc (6.0.1-2 ve diğerleri)

[ Kaynak: 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.

Etiketler: Rol: Program

cbmc ile İlgili Diğer Paketler

• dep: gcc

  GNU C compiler

• dep: libc6 (>= 2.34) [hppa, m68k]

  GNU C Library: Shared libraries
  ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb

  dep: libc6 (>= 2.37) [sh4]

  dep: libc6 (>= 2.38) [alpha, hppa, ia64, m68k, sh4 değil]

• dep: libc6.1 (>= 2.34) [alpha]

  GNU C Library: Shared libraries
  ayrıca şunun tarafından sağlanan bir sanal paket libc6.1-udeb

  dep: libc6.1 (>= 2.37) [ia64]

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

  GCC support library

  dep: libgcc-s1 (>= 3.4) [alpha, amd64, mips64el, ppc64, riscv64, sh4, sparc64, x32]

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

  dep: libgcc-s1 (>= 4.2) [i386, ia64]

• dep: libgcc-s2 (>= 4.2.1) [m68k]

  GCC support library

• dep: libgcc-s4 (>= 4.1.1) [hppa]

  GCC support library

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

  GNU Standard C++ Library v3

• dep: libunwind8 [ia64]

  library to determine the call-chain of a program - runtime

• dep: minisat [ia64]

  Fast and lightweight SAT solver

  dep: minisat (>= 1:2.2.1) [ia64 değil]

• sug: gdb

  GNU Debugger
  ayrıca şunun tarafından sağlanan bir sanal paket gdb-minimal

cbmc indir

Tüm mevcut mimariler için indir

Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
alpha (resmi olmayan port)	5.95.1-6	17.300,5 kB	87.657,0 kB	[dosya listesi]
amd64	6.0.1-2	20.486,3 kB	83.005,0 kB	[dosya listesi]
arm64	6.0.1-2	17.037,6 kB	75.885,0 kB	[dosya listesi]
armel	6.0.1-2	16.037,9 kB	68.490,0 kB	[dosya listesi]
armhf	6.0.1-2	14.923,7 kB	50.217,0 kB	[dosya listesi]
hppa (resmi olmayan port)	5.95.1-6	15.415,1 kB	65.856,0 kB	[dosya listesi]
i386	6.0.1-2	21.100,7 kB	83.320,0 kB	[dosya listesi]
ia64 (resmi olmayan port)	5.95.1-4	23.192,3 kB	143.958,0 kB	[dosya listesi]
m68k (resmi olmayan port)	5.95.1-6	18.083,9 kB	74.356,0 kB	[dosya listesi]
mips64el	6.0.1-2	16.175,7 kB	92.882,0 kB	[dosya listesi]
ppc64 (resmi olmayan port)	6.0.1-2	18.352,5 kB	91.630,0 kB	[dosya listesi]
ppc64el	6.0.1-2	18.626,3 kB	87.342,0 kB	[dosya listesi]
riscv64	6.0.1-2	19.596,1 kB	61.909,0 kB	[dosya listesi]
s390x	6.0.1-2	18.938,8 kB	76.785,0 kB	[dosya listesi]
sh4 (resmi olmayan port)	6.0.1-2	22.247,9 kB	74.946,0 kB	[dosya listesi]
sparc64 (resmi olmayan port)	6.0.1-2	13.943,8 kB	75.052,0 kB	[dosya listesi]
x32 (resmi olmayan port)	6.0.1-2	19.499,1 kB	73.826,0 kB	[dosya listesi]