all options
wheezy  ] [  jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Source: frama-c  ]

Package: frama-c-base (20170501+phosphorus+dfsg-2 and others)

Links for frama-c-base

Screenshot

Debian Resources:

Download Source Package frama-c:

Maintainers:

External Resources:

Similar packages:

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

  • depends
  • recommends
  • suggests
  • enhances

Download frama-c-base

Download for all available architectures
Architecture Version Package Size Installed Size Files
mips 20170501+phosphorus+dfsg-2+b1 13,450.0 kB60,617.0 kB [list of files]