Paquet : cbmc (5.95.1-4) [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.1 (>= 2.37)

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

• dep: libgcc-s1 (>= 4.2)

  bibliothèque de prise en charge de GCC

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

  bibliothèque standard C++ de GNU v3

• dep: libunwind8

  bibliothèque pour déterminer la chaîne d'appel d'un programme –⋅exécutable

• 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
ia64 (portage non officiel)	23 192,3 ko	143 958,0 ko	[liste des fichiers]