Paquet : cbmc (6.6.0-4 et autres)

Liens pour cbmc

Ressources Debian :

Télécharger le paquet source cbmc :

Responsable :

Michael Tautschnig (Page QA)

Ressources externes :

Page d'accueil [www.cprover.org]

Paquets similaires :

vérificateur de modèle borné pour les programmes C et C++

CBMC crée des traces montrant comment une assertion peut être violée ou prouve qu'une assertion ne peut être violée au cours d'un nombre donné d'itérations de boucles.

Étiquettes: Rôle: Programme

Autres paquets associés à cbmc

dépendances

recommandations

suggestions

enhances

dep: gcc

compilateur C GNU
dep: libc6 (>= 2.38) [non alpha, ia64, loong64, sh4]

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb

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

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6.1-udeb

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

bibliothèque de prise en charge de GCC

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]

bibliothèque de prise en charge de GCC
dep: libgcc-s4 (>= 4.1.1) [hppa]

bibliothèque de prise en charge de GCC
dep: libstdc++6 (>= 13.1) [ia64, m68k]

bibliothèque standard C++ de GNU v3

dep: libstdc++6 (>= 14) [non ia64, m68k]
dep: libunwind8 [ia64]

bibliothèque pour déterminer la chaîne d'appel d'un programme –⋅exécutable
dep: minisat [ia64]

solveur SAT rapide et léger

dep: minisat (>= 1:2.2.1) [non ia64]

sug: gdb

débogueur GNU
un paquet virtuel est également fourni par gdb-minimal

Télécharger cbmc

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	6.6.0-4	18 582,5 ko	92 281,0 ko	[liste des fichiers]
amd64	6.6.0-4	21 839,1 ko	87 166,0 ko	[liste des fichiers]
arm64	6.6.0-4	18 044,7 ko	77 802,0 ko	[liste des fichiers]
armel	6.6.0-4	16 686,6 ko	71 389,0 ko	[liste des fichiers]
armhf	6.6.0-4	16 424,0 ko	52 509,0 ko	[liste des fichiers]
hppa (portage non officiel)	6.6.0-4	16 289,7 ko	69 314,0 ko	[liste des fichiers]
i386	6.6.0-4	22 881,0 ko	87 015,0 ko	[liste des fichiers]
ia64 (portage non officiel)	5.95.1-4	23 192,3 ko	143 958,0 ko	[liste des fichiers]
loong64 (portage non officiel)	6.6.0-4	18 437,2 ko	75 110,0 ko	[liste des fichiers]
m68k (portage non officiel)	6.6.0-4	18 860,4 ko	77 233,0 ko	[liste des fichiers]
mips64el	6.6.0-4	17 089,5 ko	94 693,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	6.6.0-4	19 457,5 ko	93 866,0 ko	[liste des fichiers]
ppc64el	6.6.0-4	19 752,6 ko	89 642,0 ko	[liste des fichiers]
riscv64	6.6.0-4	20 767,0 ko	63 506,0 ko	[liste des fichiers]
s390x	6.6.0-4	20 023,1 ko	79 726,0 ko	[liste des fichiers]
sh4 (portage non officiel)	6.6.0-4	24 445,2 ko	77 061,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	6.6.0-4	14 924,4 ko	76 073,0 ko	[liste des fichiers]
x32 (portage non officiel)	6.6.0-4	21 271,2 ko	77 398,0 ko	[liste des fichiers]