Paquet : cbmc (6.4.1-2) [debports]

[ Paquet source :  ]

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.

Autres paquets associés à cbmc

• dep: gcc

  compilateur C GNU

• dep: libc6 (>= 2.40)

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

• dep: libgcc-s1 (>= 3.4)

  bibliothèque de prise en charge de GCC

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

  bibliothèque standard C++ de GNU v3

• dep: minisat (>= 1:2.2.1)

  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
sh4 (portage non officiel)	24 171,4 ko	76 481,0 ko	[liste des fichiers]