Пакет: frama-c (20170501+phosphorus+dfsg-2build1)

Връзки за frama-c

Ресурси за Trisquel:

Изтегляне на пакет-източник frama-c.

Отговорник:

Debian OCaml Maintainers (Пощенски архив)

Original Maintainers:

Debian OCaml Maintainers (Пощенски архив)
Mehdi Dogguy

Външни препратки:

Начална страница [frama-c.com]

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

Platform dedicated to the analysis of source code written in C

Frama-C gathers several analysis techniques in a single collaborative framework, based on analyzers (called "plug-ins") that can build upon the results computed by other analyzers in the framework.

Thanks to this approach, Frama-C provides sophisticated tools, including:

  * an analyzer based on abstract interpretation (Value plug-in);
  * a program proof framework based on weakest precondition calculus (WP plug-in);
  * a program slicer (Slicing plug-in);
  * a tool for verification of temporal (LTL) properties (Aoraï plug-in);
  * several tools for code base exploration and dependency analysis
    (plug-ins From, Impact, Metrics, Occurrence, Scope, etc.).
 .

These plug-ins communicate between each other via the Frama-C API and via ACSL (ANSI/ISO C Specification Language) properties.

This package provides the graphical user interface of Frama-c and depends on frama-c-base.

Други пакети, свързани с frama-c

зависимости

препоръчани

предложени

dep: emacs

GNU Emacs editor (metapackage)

или emacsen

виртуален пакет, предлаган от emacs25, emacs25-lucid, emacs25-nox, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule
dep: frama-c-base (= 20170501+phosphorus+dfsg-2build1)

Platform dedicated to the analysis of source code written in C (without gui)
dep: graphviz

rich set of graph drawing tools
dep: libc6 (>= 2.17)

GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6-udeb
dep: libgdk-pixbuf2.0-0 (>= 2.22.0)

GDK Pixbuf library
dep: libglib2.0-0 (>= 2.35.9)

GLib library of C routines
dep: libgmp10

Multiprecision arithmetic library
dep: libgnomecanvas2-0 (>= 2.11.1)

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

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

shared libraries for the GTK+ syntax highlighting widget
dep: liblablgtk2-gnome-ocaml-dlf93 [amd64]

виртуален пакет, предлаган от liblablgtk2-gnome-ocaml
dep: liblablgtk2-gnome-ocaml-vqtd7 [i386]

виртуален пакет, предлаган от liblablgtk2-gnome-ocaml
dep: liblablgtk2-ocaml-e0615 [i386]

виртуален пакет, предлаган от liblablgtk2-ocaml
dep: liblablgtk2-ocaml-il3k6 [amd64]

виртуален пакет, предлаган от liblablgtk2-ocaml
dep: liblablgtksourceview2-ocaml-l26k1 [i386]

виртуален пакет, предлаган от liblablgtksourceview2-ocaml
dep: liblablgtksourceview2-ocaml-rynx6 [amd64]

виртуален пакет, предлаган от liblablgtksourceview2-ocaml
dep: libpango-1.0-0 (>= 1.14.0)

Layout and rendering of internationalized text
dep: ocaml-base-nox-4.05.0

виртуален пакет, предлаган от ocaml-base-nox

Изтегляне на frama-c

Изтегляне за всички налични архитектури
Архитектура	Големина на пакета	Големина след инсталиране	Файлове
amd64	11 624,5 кБ	53434 кБ	[списък на файловете]
i386	10 837,4 кБ	45673 кБ	[списък на файловете]

Sections