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

Paquet : frama-c-base (20201209+titanium-4.1)

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 Taille du paquet Espace occupé une fois installé Fichiers
amd64 59 213,5 ko281 644,0 ko [liste des fichiers]
arm64 62 393,3 ko296 893,0 ko [liste des fichiers]
armel 37 921,7 ko185 309,0 ko [liste des fichiers]
armhf 58 703,4 ko250 087,0 ko [liste des fichiers]
i386 57 578,2 ko257 830,0 ko [liste des fichiers]
mips64el 37 898,9 ko186 351,0 ko [liste des fichiers]
mipsel 37 908,5 ko185 967,0 ko [liste des fichiers]
ppc64el 61 275,9 ko299 417,0 ko [liste des fichiers]
s390x 59 534,3 ko289 798,0 ko [liste des fichiers]