toutes les options
[  bullseye  ] [  bookworm  ] [  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+b12 37 337,2 ko77 652,0 ko [liste des fichiers]
amd64 20220511-manganese-5+b13 58 895,3 ko175 778,0 ko [liste des fichiers]
arm64 20220511-manganese-5+b13 61 020,2 ko192 440,0 ko [liste des fichiers]
armel 20220511-manganese-5+b12 36 877,9 ko76 942,0 ko [liste des fichiers]
armhf 20220511-manganese-5+b13 35 695,6 ko76 487,0 ko [liste des fichiers]
hppa (portage non officiel) 20220511-manganese-5+b12 36 949,1 ko77 093,0 ko [liste des fichiers]
i386 20220511-manganese-5+b13 37 383,7 ko77 348,0 ko [liste des fichiers]
ia64 (portage non officiel) 20220511-manganese-5+b5 34 357,1 ko159 731,0 ko [liste des fichiers]
loong64 (portage non officiel) 20220511-manganese-5+b8 37 475,4 ko77 996,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+b12 37 347,8 ko77 920,0 ko [liste des fichiers]
ppc64 (portage non officiel) 20220511-manganese-5+b10 37 898,5 ko78 830,0 ko [liste des fichiers]
ppc64el 20220511-manganese-5+b13 60 110,2 ko193 302,0 ko [liste des fichiers]
riscv64 20220511-manganese-5+b14 63 971,6 ko254 463,0 ko [liste des fichiers]
s390x 20220511-manganese-5+b13 58 468,7 ko182 416,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+b12 38 739,5 ko80 801,0 ko [liste des fichiers]
x32 (portage non officiel) 20220511-manganese-5+b12 36 974,2 ko76 969,0 ko [liste des fichiers]