Paquet : frama-c-base (20171101+sulfur+dfsg-2)

Liens pour frama-c-base

Ressources Debian :

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

Responsables :

Ressources externes :

Page d'accueil [frama-c.com]

Paquets similaires :

Platform dedicated to the analysis of source code written in C (without gui)

Frama-C gathers several analysis techniques in a single collaborative framework, based on analyzers (called "plug-ins") that can build upon the results computed by other analyzers in the framework.

Thanks to this approach, Frama-C provides sophisticated tools, including:

  * an analyzer based on abstract interpretation (Value plug-in);
  * a program proof framework based on weakest precondition calculus (WP plug-in);
  * a program slicer (Slicing plug-in);
  * a tool for verification of temporal (LTL) properties (Aoraï plug-in);
  * several tools for code base exploration and dependency analysis
    (plug-ins From, Impact, Metrics, Occurrence, Scope, etc.).

These plug-ins communicate between each other via the Frama-C API and via ACSL (ANSI/ISO C Specification Language) properties.

This package provides the library of Frama-c which is useful to build plugins for Frama-c and the command-line tools.

Étiquettes: Développement de logiciel: Tests et assurance qualité, Rôle: Programme, Boîte à outils d'interface utilisateur: Interface utilisateur texte ncurses

Autres paquets associés à frama-c-base

dépendances

recommandations

suggestions

enhances

dep: gcc

compilateur C GNU
dep: libc6 (>= 2.27)

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
dep: libfindlib-ocaml-2vsn1 [armhf, i386]

paquet virtuel fourni par libfindlib-ocaml
dep: libfindlib-ocaml-ima03 [amd64, arm64]

paquet virtuel fourni par libfindlib-ocaml
dep: libgmp10

Bibliothèque arithmétique à multi-précision
dep: libncurses6 (>= 6)

Bibliothèques partagées pour l'utilisation d'un terminal
dep: libocamlgraph-ocaml-dev

graph library for OCaml
dep: libtinfo6 (>= 6)

bibliothèque partagée terminfo de bas niveau pour manipuler le terminal
dep: libzarith-ocaml-433l0 [armhf]

paquet virtuel fourni par libzarith-ocaml
dep: libzarith-ocaml-dt9w1 [arm64]

paquet virtuel fourni par libzarith-ocaml
dep: libzarith-ocaml-gqf85 [amd64]

paquet virtuel fourni par libzarith-ocaml
dep: libzarith-ocaml-rntd0 [i386]

paquet virtuel fourni par libzarith-ocaml
dep: ocaml-base-nox-4.05.0

paquet virtuel fourni par ocaml-base-nox

rec: alt-ergo

démonstrateur automatique dédié à la vérification de programme

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	21 778,0 ko	107 753,0 ko	[liste des fichiers]
arm64	23 463,0 ko	115 927,0 ko	[liste des fichiers]
armhf	21 735,1 ko	92 162,0 ko	[liste des fichiers]
i386	20 909,4 ko	94 370,0 ko	[liste des fichiers]