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

Package: frama-c-base (20111001+nitrogen+dfsg-4)

Links for frama-c-base

Screenshot

Debian Resources:

Download Source Package frama-c:

Maintainers:

External Resources:

Similar packages:

infrastruttura per analisi di codice sorgente scritto in C (senza GUI)

Frama-C è un'infrastruttura dedicata all'analisi del codice sorgente di software scritto in C.

Frama-C riunisce svariate tecniche di analisi statica in un'unica infrastruttura collaborativa. L'approccio collaborativo di Frama-C permette agli analizzatori statici di basarsi sui risultati già calcolati da altri analizzatori nell'infrastruttura. Grazie a questo approccio, Frama-C fornisce strumenti sofisticati, come uno slicer e l'analisi di dipendenza.

Può essere usato per:

 * validare formalmente il codice sorgente;
 * cercare potenziali errori in fase di esecuzione;
 * controllare o revisionare il codice sorgente;
 * farne il reverse engineering per capire la sua struttura;
 * generare documentazione formale.

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 Package Size Installed Size Files
mips 18,571.3 kB52,808.0 kB [list of files]