Paquet : cbmc (5.95.1-6 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.34) [non alpha, ia64, sh4, x32]

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

dep: libc6 (>= 2.37) [sh4]

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

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

dep: libc6.1 (>= 2.37) [ia64]
dep: libgcc-s1 (>= 3.0) [arm64, 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)

bibliothèque standard C++ de GNU v3
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)	5.95.1-4	17 296,6 ko	87 593,0 ko	[liste des fichiers]
amd64	5.95.1-6	20 654,2 ko	80 918,0 ko	[liste des fichiers]
arm64	5.95.1-6	16 627,9 ko	74 082,0 ko	[liste des fichiers]
armel	5.95.1-6	15 901,6 ko	66 850,0 ko	[liste des fichiers]
armhf	5.95.1-6	14 076,2 ko	48 794,0 ko	[liste des fichiers]
hppa (portage non officiel)	5.95.1-6	15 415,1 ko	65 856,0 ko	[liste des fichiers]
i386	5.95.1-6	20 992,9 ko	81 520,0 ko	[liste des fichiers]
ia64 (portage non officiel)	5.95.1-4	23 192,3 ko	143 958,0 ko	[liste des fichiers]
m68k (portage non officiel)	5.95.1-6	18 083,9 ko	74 356,0 ko	[liste des fichiers]
mips64el	5.95.1-6	16 006,7 ko	91 086,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	5.95.1-6	18 217,7 ko	90 146,0 ko	[liste des fichiers]
ppc64el	5.95.1-6	18 416,5 ko	85 730,0 ko	[liste des fichiers]
riscv64	5.95.1-6	19 343,4 ko	60 338,0 ko	[liste des fichiers]
s390x	5.95.1-6	18 603,5 ko	75 062,0 ko	[liste des fichiers]
sh4 (portage non officiel)	5.95.1-6	22 105,7 ko	73 529,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	5.95.1-6	13 632,0 ko	72 996,0 ko	[liste des fichiers]
x32 (portage non officiel)	5.95.1-6	19 449,6 ko	72 087,0 ko	[liste des fichiers]