[ buster ] [ bullseye ] [ trixie ] [ sid ]

[ Pakiet źródłowy: cbmc ]

Pakiet: cbmc (5.12-5)

Odnośniki dla cbmc

Zasoby systemu Debian:

Pobieranie pakietu źródłowego cbmc:

Opiekun:

Michael Tautschnig (Strona QA)

Zasoby zewnętrzne:

Strona internetowa [www.cprover.org]

Podobne pakiety:

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.

Znaczniki: Rola: Program

Inne pakiety związane z cbmc

wymaga

poleca

sugeruje

enhances

dep: gcc

Kompilator GNU C
dep: libc6 (>= 2.29)

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb
dep: libgcc-s1 (>= 3.0) [s390x]

Biblioteka wspomagająca GCC

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

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

dep: libgcc-s1 (>= 4.2) [nie amd64, armel, armhf, s390x]
dep: libstdc++6 (>= 9)

Standardowa biblioteka GNU C++, wersja 3
dep: minisat

Fast and lightweight SAT solver

sug: gdb

GNU Debugger
również pakiet wirtualny udostępniany przez gdb-minimal

Pobieranie cbmc

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	17 316,1 KiB	65 585,0 KiB	[lista plików]
arm64	13 137,5 KiB	58 325,0 KiB	[lista plików]
armel	11 707,4 KiB	54 321,0 KiB	[lista plików]
armhf	10 927,9 KiB	39 741,0 KiB	[lista plików]
i386	18 355,8 KiB	70 193,0 KiB	[lista plików]
mips64el	14 072,4 KiB	79 905,0 KiB	[lista plików]
mipsel	14 211,2 KiB	77 832,0 KiB	[lista plików]
ppc64el	16 053,0 KiB	72 026,0 KiB	[lista plików]
s390x	14 665,3 KiB	64 997,0 KiB	[lista plików]