Paquet : cbmc (5.12-5)

[ Paquet source : cbmc  ]

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

• dep: gcc

  compilateur C GNU

• dep: libc6 (>= 2.29)

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

• dep: libgcc-s1 (>= 3.0) [s390x]

  bibliothèque de prise en charge de GCC

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

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

  dep: libgcc-s1 (>= 4.2) [non amd64, armel, armhf, s390x]

• dep: libstdc++6 (>= 9)

  bibliothèque standard C++ de GNU v3

• dep: minisat

  solveur SAT rapide et léger

• 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	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	17 316,1 ko	65 585,0 ko	[liste des fichiers]
arm64	13 137,5 ko	58 325,0 ko	[liste des fichiers]
armel	11 707,4 ko	54 321,0 ko	[liste des fichiers]
armhf	10 927,9 ko	39 741,0 ko	[liste des fichiers]
i386	18 355,8 ko	70 193,0 ko	[liste des fichiers]
mips64el	14 072,4 ko	79 905,0 ko	[liste des fichiers]
mipsel	14 211,2 ko	77 832,0 ko	[liste des fichiers]
ppc64el	16 053,0 ko	72 026,0 ko	[liste des fichiers]
s390x	14 665,3 ko	64 997,0 ko	[liste des fichiers]