Paketti: cbmc (6.6.0-4 ja muut)

Links for cbmc

Debian-palvelut:

Imuroi lähdekoodipaketti cbmc:

Ylläpitäjä:

Michael Tautschnig (Laadunvalvontasivu)

External Resources:

Kotisivu [www.cprover.org]

Samankaltaisia paketteja:

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.

Tagit: Role: Program

Muut pakettiin cbmc liittyvät paketit

depends

recommends

suggests

enhances

dep: gcc

GNU C -kääntäjä
dep: libc6 (>= 2.38) [ei alpha, ia64, loong64, sh4]

GNU-C-kirjasto: jaetut kirjastot
myös näennäispaketti, jonka toteuttaa libc6-udeb

dep: libc6 (>= 2.41) [loong64, sh4]
dep: libc6.1 (>= 2.37) [ia64]

GNU-C-kirjasto: jaetut kirjastot
myös näennäispaketti, jonka toteuttaa libc6.1-udeb

dep: libc6.1 (>= 2.38) [alpha]
dep: libgcc-s1 (>= 3.0) [arm64, loong64, ppc64el, s390x]

GCC:n apukirjasto

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:n apukirjasto
dep: libgcc-s4 (>= 4.1.1) [hppa]

GCC:n apukirjasto
dep: libstdc++6 (>= 13.1) [ia64, m68k]

GNU standardi C++ -kirjasto, versio 3

dep: libstdc++6 (>= 14) [ei ia64, m68k]
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) [ei ia64]

sug: gdb

GNU Debugger
myös näennäispaketti, jonka toteuttaa gdb-minimal

Imuroi cbmc

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
alpha (epävirallinen siirros)	6.6.0-4	18,582.5 kt	92,281.0 kt	[tiedostoluettelo]
amd64	6.6.0-4	21,839.1 kt	87,166.0 kt	[tiedostoluettelo]
arm64	6.6.0-4	18,044.7 kt	77,802.0 kt	[tiedostoluettelo]
armel	6.6.0-4	16,686.6 kt	71,389.0 kt	[tiedostoluettelo]
armhf	6.6.0-4	16,424.0 kt	52,509.0 kt	[tiedostoluettelo]
hppa (epävirallinen siirros)	6.6.0-4	16,289.7 kt	69,314.0 kt	[tiedostoluettelo]
i386	6.6.0-4	22,881.0 kt	87,015.0 kt	[tiedostoluettelo]
ia64 (epävirallinen siirros)	5.95.1-4	23,192.3 kt	143,958.0 kt	[tiedostoluettelo]
loong64 (epävirallinen siirros)	6.6.0-4	18,437.2 kt	75,110.0 kt	[tiedostoluettelo]
m68k (epävirallinen siirros)	6.6.0-4	18,860.4 kt	77,233.0 kt	[tiedostoluettelo]
mips64el	6.6.0-4	17,089.5 kt	94,693.0 kt	[tiedostoluettelo]
ppc64 (epävirallinen siirros)	6.6.0-4	19,457.5 kt	93,866.0 kt	[tiedostoluettelo]
ppc64el	6.6.0-4	19,752.6 kt	89,642.0 kt	[tiedostoluettelo]
riscv64	6.6.0-4	20,767.0 kt	63,506.0 kt	[tiedostoluettelo]
s390x	6.6.0-4	20,023.1 kt	79,726.0 kt	[tiedostoluettelo]
sh4 (epävirallinen siirros)	6.6.0-4	24,445.2 kt	77,061.0 kt	[tiedostoluettelo]
sparc64 (epävirallinen siirros)	6.6.0-4	14,924.4 kt	76,073.0 kt	[tiedostoluettelo]
x32 (epävirallinen siirros)	6.6.0-4	21,271.2 kt	77,398.0 kt	[tiedostoluettelo]