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

Paquet : frama-c-base (20220511-manganese-5 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
alpha (portage non officiel) 20220511-manganese-5+b5 32 829,7 ko158 358,0 ko [liste des fichiers]
amd64 20220511-manganese-5+b6 53 496,6 ko252 671,0 ko [liste des fichiers]
arm64 20220511-manganese-5+b6 55 957,4 ko267 442,0 ko [liste des fichiers]
armel 20220511-manganese-5+b5 32 745,8 ko157 443,0 ko [liste des fichiers]
armhf 20220511-manganese-5+b6 52 585,1 ko220 373,0 ko [liste des fichiers]
hppa (portage non officiel) 20220511-manganese-5+b5 32 823,7 ko157 827,0 ko [liste des fichiers]
i386 20220511-manganese-5+b6 51 535,9 ko226 545,0 ko [liste des fichiers]
ia64 (portage non officiel) 20220511-manganese-5+b5 34 357,1 ko159 731,0 ko [liste des fichiers]
m68k (portage non officiel) 20220511-manganese-5+b4 32 766,6 ko157 370,0 ko [liste des fichiers]
mips64el 20220511-manganese-5+b5 32 792,1 ko158 478,0 ko [liste des fichiers]
ppc64 (portage non officiel) 20220511-manganese-5 53 464,2 ko274 344,0 ko [liste des fichiers]
ppc64el 20220511-manganese-5+b6 54 889,5 ko270 685,0 ko [liste des fichiers]
riscv64 20220511-manganese-5+b7 57 944,0 ko318 714,0 ko [liste des fichiers]
s390x 20220511-manganese-5+b6 53 257,7 ko255 356,0 ko [liste des fichiers]
sh4 (portage non officiel) 20111001+nitrogen+dfsg-4 18 582,9 ko52 720,0 ko [liste des fichiers]
sparc64 (portage non officiel) 20220511-manganese-5+b5 32 792,5 ko159 777,0 ko [liste des fichiers]
x32 (portage non officiel) 20220511-manganese-5+b5 32 806,6 ko157 637,0 ko [liste des fichiers]