| Paketname | frama-c-base |
| Beschreibung | Framework for C source code analysis (without gui) |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 20100401+boron+dfsg-5 |
| Sektion | devel |
| Priorität | optional |
| Installierte Größe | 65704 Byte |
| Hängt ab von | libc6 (>= 2.7), libncurses5 (>= 5.7+20100313), liblablgtk2-gnome-ocaml-omub7, liblablgtk2-ocaml-t1zm |
| Empfohlene Pakete | alt-ergo, libwhy-coq |
| Paketbetreuer | Debian OCaml Maintainers |
| Quelle | frama-c |
| Paketgröße | 24590534 Byte |
| Prüfsumme MD5 | daeab33e4177f966fa73a9779ecbc16e |
| Prüfsumme SHA1 | 2035d9d37d99f8a9374588d641ae7110649d8cf1 |
| Prüfsumme SHA256 | cfcb531860c44913520e35f435101306ca7d2c43df83873cfdccbfb352776b4a |
| Link zum Herunterladen | frama-c-base_20100401+boron+dfsg-5_i386.deb |
| Ausführliche Beschreibung | Frama-C is a framework dedicated to the analysis of the source code
of software written in C.
.
Frama-C gathers several static analysis techniques in a single
collaborative framework. The collaborative approach of Frama-C allows
static analyzers to build upon the results already computed by other
analyzers in the framework. Thanks to this approach, Frama-C provides
sophisticated tools, such as a slicer and dependency analysis.
.
It can be used to:
* Validate the source code formally
* Look for potential runtime errors
* Audit or review it
* Reverse engineer it to understand its structure
* Generate formal documentation
.
This package provides the library of Frama-c which is useful to build
plugins for Frama-c and the command-line tools.
|