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

Package: frama-c-base (20201209+titanium-4.1)

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 Package Size Installed Size Files
amd64 59,213.5 kB281,644.0 kB [list of files]
arm64 62,393.3 kB296,893.0 kB [list of files]
armel 37,921.7 kB185,309.0 kB [list of files]
armhf 58,703.4 kB250,087.0 kB [list of files]
i386 57,578.2 kB257,830.0 kB [list of files]
mips64el 37,898.9 kB186,351.0 kB [list of files]
mipsel 37,908.5 kB185,967.0 kB [list of files]
ppc64el 61,275.9 kB299,417.0 kB [list of files]
s390x 59,534.3 kB289,798.0 kB [list of files]