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

Links for frama-c-base

Ubuntu-palvelut:

Imuroi lähdekoodipaketti frama-c:

Ylläpitäjä:

Ubuntu MOTU Developers (Mail Archive)

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

Original Maintainers (usually from Debian):

Debian OCaml Maintainers (Mail Archive)
Mehdi Dogguy

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

External Resources:

Kotisivu [frama-c.cea.fr]

Samankaltaisia paketteja:

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.

Muut pakettiin frama-c-base liittyvät paketit

depends

recommends

suggests

dep: gcc

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

Embedded GNU C Library: Shared libraries
myös näennäispaketti, jonka toteuttaa libc6-udeb
dep: liblablgtk2-ocaml-h3pg1 [amd64]

näennäispaketti, jonka toteuttaa liblablgtk2-ocaml
dep: liblablgtk2-ocaml-t1zm6 [i386]

näennäispaketti, jonka toteuttaa liblablgtk2-ocaml
dep: liblablgtksourceview2-ocaml-0bhx8 [amd64]

näennäispaketti, jonka toteuttaa liblablgtksourceview2-ocaml
dep: liblablgtksourceview2-ocaml-lz840 [i386]

näennäispaketti, jonka toteuttaa liblablgtksourceview2-ocaml
dep: libncurses5 (>= 5.6+20071006-3)

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

näennäispaketti, jonka toteuttaa ocaml-base-nox

rec: alt-ergo

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

Why library for Coq

Imuroi frama-c-base

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
amd64	22,008.5 kt	64,128.0 kt	[tiedostoluettelo]
i386	21,597.3 kt	58,824.0 kt	[tiedostoluettelo]

Sections