all options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: frama-c  ]

Package: frama-c-base (20220511-manganese-5 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

Frama-C riunisce svariate tecniche di analisi 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, gli strumenti a riga di comando e l'interfaccia grafica.

Tags: Software Development: Testing and QA, User Interface: Graphical User Interface, X Window System, Role: role::program, uitoolkit::gtk, Interface Toolkit: Ncurses TUI, X Window System: Application

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
amd64 20220511-manganese-5+b12 58,870.3 kB175,782.0 kB [list of files]