Paket: frama-c-base (20220511-manganese-3 ve diğerleri)

frama-c-base için bağlantılar

Debian Kaynakları:

frama-c Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Ana Sayfa [frama-c.com]

Benzer paketler:

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 library of Frama-c which is useful to build plugins for Frama-c, the command-line tools, and the graphical interface.

Etiketler: Yazılım Geliştirme: Test ve Kalite Güvencesi, Kullanıcı Arayüzü: Graphical User Interface, X Pencere Sistemi, Rol: role::program, uitoolkit::gtk, Arayüz Araç Takımı: Ncurses TUI, X Pencere Sistemi: Uygulama

frama-c-base ile İlgili Diğer Paketler

bağımlılıklar

tavsiye edilen

önerilen

enhances

dep: gcc

GNU C compiler
dep: libc6 (>= 2.35)

GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb
dep: libcairo2 (>= 1.12.0)

Cairo 2D vector graphics library
dep: libcairo2-ocaml-53l06

sanal paketi sağlayan libcairo2-ocaml
dep: libfindlib-ocaml-bpur9

sanal paketi sağlayan libfindlib-ocaml
dep: libfontconfig1 (>= 2.12.6)

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

FreeType 2 font engine, shared library files
dep: libgdk-pixbuf-2.0-0 (>= 2.22.0)

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

GLib library of C routines
dep: libgmp10 (>= 2:6.2.1+dfsg1)

Multiprecision arithmetic library
dep: libgtk-3-0 (>= 3.11.5)

GTK graphical user interface library
dep: libgtksourceview-3.0-1 (>= 2.91.4)

shared libraries for the GTK+ syntax highlighting widget
dep: liblablgtk3-ocaml-fnx33

sanal paketi sağlayan liblablgtk3-ocaml
dep: liblablgtksourceview3-ocaml-50999

sanal paketi sağlayan liblablgtksourceview3-ocaml
dep: libocamlgraph-ocaml-dev

graph library for OCaml
dep: libpango-1.0-0 (>= 1.22.0)

Layout and rendering of internationalized text
dep: libpangocairo-1.0-0 (>= 1.22.0)

Layout and rendering of internationalized text
dep: libppx-deriving-ocaml-u9qh9

sanal paketi sağlayan libppx-deriving-ocaml
dep: libppx-import-ocaml

OCaml extension to import declarations (runtime)
dep: libresult-ocaml-th9l2

sanal paketi sağlayan libresult-ocaml
dep: libwhy3-ocaml-dev-h2xc5

sanal paketi sağlayan libwhy3-ocaml-dev
dep: libyojson-ocaml-nigu1

sanal paketi sağlayan libyojson-ocaml
dep: libzarith-ocaml-zxyl8

sanal paketi sağlayan libzarith-ocaml
dep: ocaml-base-4.13.1

sanal paketi sağlayan ocaml-base
dep: perl

Larry Wall's Practical Extraction and Report Language
dep: python3

interactive high-level object-oriented language (default python3 version)

rec: alt-ergo

Paket mevcut değil
rec: why3

Software verification platform

frama-c-base indir

Tüm mevcut mimariler için indir
Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
mips64el	20220511-manganese-3+b3	39.546,4 kB	185.282,0 kB	[dosya listesi]