Paket: frama-c-base (20090902+beryllium+dfsg-4) [universe]

Links für frama-c-base

Ubuntu-Ressourcen:

Quellcode-Paket frama-c herunterladen:

Betreuer:

Ubuntu MOTU Developers (E-Mail-Archiv)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

Debian OCaml Maintainers (E-Mail-Archiv)
Mehdi Dogguy

It should generally not be necessary for users to contact the original maintainer.

Externe Ressourcen:

Homepage [frama-c.cea.fr]

Framework for C source code analysis (without gui)

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.

Andere Pakete mit Bezug zu frama-c-base

hängt ab von

empfiehlt

schlägt vor

dep: gcc

The GNU C compiler
dep: libc6 (>= 2.11)

Embedded GNU C Library: Shared libraries
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
dep: liblablgtk2-ocaml-h3pg1 [amd64]

virtuelles Paket, bereitgestellt durch liblablgtk2-ocaml
dep: liblablgtk2-ocaml-t1zm6 [i386]

virtuelles Paket, bereitgestellt durch liblablgtk2-ocaml
dep: liblablgtksourceview2-ocaml-0bhx8 [amd64]

virtuelles Paket, bereitgestellt durch liblablgtksourceview2-ocaml
dep: liblablgtksourceview2-ocaml-lz840 [i386]

virtuelles Paket, bereitgestellt durch liblablgtksourceview2-ocaml
dep: libncurses5 (>= 5.6+20071006-3)

shared libraries for terminal handling
dep: ocaml-base-nox-3.11.2

virtuelles Paket, bereitgestellt durch ocaml-base-nox

rec: alt-ergo

Automatic theorem prover dedicated to program verification
rec: libwhy-coq

Why library for Coq

frama-c-base herunterladen

Download für alle verfügbaren Architekturen
Architektur	Paketgröße	Größe (installiert)	Dateien
amd64	22.008,5 kB	64.128,0 kB	[Liste der Dateien]
i386	21.597,3 kB	58.824,0 kB	[Liste der Dateien]

Sections