[ bullseye ] [ trixie ] [ forky ] [ sid ]

[ Källkod: cbmc ]

Paket: cbmc (6.6.0-4)

Länkar för cbmc

Debianresurser:

Hämta källkodspaketet cbmc:

Ansvarig:

Michael Tautschnig (QA-sida)

Externa resurser:

Hemsida [www.cprover.org]

Liknande paket:

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.

Märken: Role: Program

Andra paket besläktade med cbmc

beror

rekommenderar

föreslår

enhances

dep: gcc

GNU C compiler
dep: libc6 (>= 2.38)

GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av libc6-udeb
dep: libgcc-s1 (>= 3.0) [arm64, ppc64el, s390x]

GCC stödbibliotek

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

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

dep: libgcc-s1 (>= 4.2) [i386]
dep: libstdc++6 (>= 14)

GNU standardbibliotek v3 för C++
dep: minisat (>= 1:2.2.1)

Fast and lightweight SAT solver

sug: gdb

GNU Debugger

Hämta cbmc

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Paketstorlek	Installerad storlek	Filer
amd64	21.839,1 kbyte	87.166,0 kbyte	[filförteckning]
arm64	18.044,7 kbyte	77.802,0 kbyte	[filförteckning]
armhf	16.424,0 kbyte	52.509,0 kbyte	[filförteckning]
i386	22.881,0 kbyte	87.015,0 kbyte	[filförteckning]
ppc64el	19.752,6 kbyte	89.642,0 kbyte	[filförteckning]
riscv64	20.767,0 kbyte	63.506,0 kbyte	[filförteckning]
s390x	20.023,1 kbyte	79.726,0 kbyte	[filförteckning]