Пакет: frama-c (20090902+beryllium+dfsg-4) [universe]

Ссылки для frama-c

Ресурсы Ubuntu:

Исходный код frama-c:

Сопровождающий:

Ubuntu MOTU Developers (Почтовый архив)

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

Original Maintainers (usually from Debian):

Debian OCaml Maintainers (Почтовый архив)
Mehdi Dogguy

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

Внешние ресурсы:

Сайт [frama-c.cea.fr]

Подобные пакеты:

Framework for source code analysis of software written in C

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 graphical user interface of Frama-c and depends on frama-c-base.

Другие пакеты, относящиеся к frama-c

зависимости

рекомендации

предложения

dep: emacs

The GNU Emacs editor (metapackage)

или emacsen

виртуальный пакет, предоставляемый emacs, emacs-snapshot, emacs-snapshot-nox, emacs22, emacs22-gtk, emacs22-nox, emacs23, emacs23-lucid, emacs23-nox, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule
dep: frama-c-base (= 20090902+beryllium+dfsg-4)

Framework for C source code analysis (without gui)
dep: graphviz

rich set of graph drawing tools
dep: libart-2.0-2 (>= 2.3.18)

Library of functions for 2D graphics - runtime files
dep: libatk1.0-0 (>= 1.29.3)

The ATK accessibility toolkit
dep: libc6 (>= 2.7)

Embedded GNU C Library: Shared libraries
также виртуальный пакет, предоставляемый libc6-udeb
dep: libcairo2 (>= 1.2.4)

The Cairo 2D vector graphics library
dep: libfontconfig1 (>= 2.8.0)

generic font configuration library - runtime
dep: libfreetype6 (>= 2.2.1)

FreeType 2 font engine, shared library files
dep: libglib2.0-0 (>= 2.16.0)

The GLib library of C routines
dep: libgnomecanvas2-0 (>= 2.11.1)

A powerful object-oriented display - runtime files
dep: libgtk2.0-0 (>= 2.12.0)

The GTK+ graphical user interface library
dep: libgtksourceview2.0-0 (>= 2.9.7)

shared libraries for the GTK+ syntax highlighting widget
dep: libpango1.0-0 (>= 1.14.0)

Layout and rendering of internationalized text

rec: why (>= 2.19+dfsg-2)

A software verification tool

Загрузка frama-c

Загрузить для всех доступных архитектур
Архитектура	Размер пакета	В установленном виде	Файлы
amd64	3 114,1 Кб	9 464,0 Кб	[список файлов]
i386	2 724,4 Кб	7 192,0 Кб	[список файлов]