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

[ Source: frama-c  ]

piattaforma dedicata all'analisi di codice sorgente scritto in C (senza GUI)

Frama-C riunisce svariate tecniche di analisi statica in un'unica infrastruttura collaborativa basata su analizzatori (chiamati "plugin") che possono sfruttare i risultati calcolati da altri analizzatori nell'infrastruttura.

Grazie a questo approccio, Frama-C fornisce strumenti sofisticati, inclusi:

  * un analizzatore basato su un'interpretazione astratta (plugin Value);
  * un'infrastruttura per prova di programmi basata sul calcolo della
    precondizione più debole (plugin WP);
  * uno slicer di programmi (plugin Slicing);
  * uno strumento per verifica di proprietà temporali (LTL) (plugin Aoraï);
  * svariati strumenti per esplorazione della base di codice e analisi di
    dipendenze (plugin From, Impact, Metrics, Occurrence, Scope, ecc.).

Questi plugin comunicano gli uni con gli altri attraverso l'API di Frama-C e con proprietà ACSL (ANSI/ISO C Specification Language).

Questo pacchetto fornisce la libreria Frama-C, utile per compilare plugin per Frama-C e gli strumenti a riga di comando.

Tags: Software Development: Testing and QA, Role: Program, Interface Toolkit: Ncurses TUI

Other Packages Related to frama-c-base

• dep: gcc

  compilatore GNU C

• dep: libc6 (>= 2.27)

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6-udeb

• dep: libfindlib-ocaml-2vsn1

  virtual package provided by libfindlib-ocaml

• dep: libgmp10

  libreria aritmetica a precisione multipla

• dep: libncurses6 (>= 6)

  librerie condivise per la gestione del terminale

• dep: libocamlgraph-ocaml-dev

  graph library for OCaml

• dep: libtinfo6 (>= 6)

  libreria condivisa di basso livello terminfo per la gestione del terminale

• dep: libzarith-ocaml-rntd0

  virtual package provided by libzarith-ocaml

• dep: ocaml-base-nox-4.05.0

  virtual package provided by ocaml-base-nox

• rec: alt-ergo

  dimostratore automatico di teoremi dedicato alla verifica dei programmi

Download frama-c-base

Download for all available architectures

Architecture	Package Size	Installed Size	Files
i386	20,909.4 kB	94,370.0 kB	[list of files]