Пакунок: frama-c (20170501+phosphorus+dfsg-2build1)

Links for frama-c

Trisquel Resources:

Download Source Package frama-c:

Maintainer:

Debian OCaml Maintainers (Mail Archive)

Original Maintainers:

Debian OCaml Maintainers (Mail Archive)
Mehdi Dogguy

External Resources:

Homepage [frama-c.com]

Similar packages:

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

depends

recommends

suggests

dep: emacs

GNU Emacs editor (metapackage)

or emacsen

virtual package provided by 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
also a virtual package provided by 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]

virtual package provided by liblablgtk2-gnome-ocaml
dep: liblablgtk2-gnome-ocaml-vqtd7 [i386]

virtual package provided by liblablgtk2-gnome-ocaml
dep: liblablgtk2-ocaml-e0615 [i386]

virtual package provided by liblablgtk2-ocaml
dep: liblablgtk2-ocaml-il3k6 [amd64]

virtual package provided by liblablgtk2-ocaml
dep: liblablgtksourceview2-ocaml-l26k1 [i386]

virtual package provided by liblablgtksourceview2-ocaml
dep: liblablgtksourceview2-ocaml-rynx6 [amd64]

virtual package provided by liblablgtksourceview2-ocaml
dep: libpango-1.0-0 (>= 1.14.0)

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

virtual package provided by ocaml-base-nox

Завантажити frama-c

Завантаження для всіх доступних архітектур
Архітектура	Розмір пакунка	Розмір після встановлення	Файли
amd64	11,624.5 kB	53434 kB	[список файлів]
i386	10,837.4 kB	45673 kB	[список файлів]

Sections