toutes les options
[  buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Paquet source : frama-c  ]

Paquet : frama-c-base (20220511-manganese-3 et autres)

Liens pour frama-c-base

Screenshot

Ressources Debian :

Télécharger le paquet source frama-c :

Responsables :

Ressources externes :

Paquets similaires :

plateforme dédié à l’analyse de codes source écrits en C

Frama-C rassemble plusieurs techniques d’analyse dans un seul cadriciel collaboratif, basé sur des analyseurs (appelés « greffon ») qui peuvent interpréter à partir des résultats calculés par d’autres analyseurs du cadriciel.

Grâce à cette approche, Frama-C fournit des outils sophistiqués, dont : 

 – un analyseur basé sur une interprétation abstraite (greffon Value) ;
 – un cadriciel de vérification formelle basée sur le calcul de
   préconditions les plus faibles (greffon WP) ;
 – un découpeur de programme (greffon Slicing) ;
 – un outil de vérification de propriétés temporelles (LTL) (greffon Aoraï) ;
 – plusieurs outils pour l’exploration de la base de codes et l’analyse
   de dépendances (greffons From, Impact, Metrics, Occurrence, Scope, etc.).

Ces greffons communiquent ensemble à l’aide de l’API de Frama-C et à l’aide des propriétés ACSL (ANSI/ISO C Specification Language).

Ce paquet fournit la bibliothèque de Frama-c qui est utile pour construire des greffons pour Frama-c, les outils en ligne de commande et l’interface graphique.

Étiquettes: Développement de logiciel: Tests et assurance qualité, Interface utilisateur: Graphical User Interface, Système X Window, Rôle: role::program, uitoolkit::gtk, Boîte à outils d'interface utilisateur: Interface utilisateur texte ncurses, Système X Window: Application

Autres paquets associés à frama-c-base

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger frama-c-base

Télécharger pour toutes les architectures proposées
Architecture Version Taille du paquet Espace occupé une fois installé Fichiers
amd64 20220511-manganese-3+b4 62 552,6 ko289 915,0 ko [liste des fichiers]
arm64 20220511-manganese-3+b4 65 488,7 ko306 853,0 ko [liste des fichiers]
armel 20220511-manganese-3+b3 39 505,5 ko184 130,0 ko [liste des fichiers]
armhf 20220511-manganese-3+b4 61 598,7 ko254 005,0 ko [liste des fichiers]
i386 20220511-manganese-3+b4 60 316,2 ko261 306,0 ko [liste des fichiers]
mips64el 20220511-manganese-3+b3 39 546,4 ko185 282,0 ko [liste des fichiers]
mipsel 20220511-manganese-3+b3 39 554,0 ko184 942,0 ko [liste des fichiers]
ppc64el 20220511-manganese-3+b4 64 275,2 ko309 551,0 ko [liste des fichiers]
s390x 20220511-manganese-3+b4 62 402,0 ko294 479,0 ko [liste des fichiers]