Paket: frama-c-base (20220511-manganese-5 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: libatomic1 (>= 4.8)

support library providing __atomic built-in functions
dep: libc6 (>= 2.38)

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-c05k5

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

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-0t64 (>= 2.36.0)

GLib library of C routines
dep: libgmp10 (>= 2:6.3.0+dfsg)

Multiprecision arithmetic library
dep: libgtk-3-0t64 (>= 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-kuxy4

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

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-u5a91

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

OCaml extension to import declarations (runtime)
dep: libstdlib-ocaml-bkvu1

sanal paketi sağlayan libstdlib-ocaml
dep: libyojson-ocaml-za2h3

sanal paketi sağlayan libyojson-ocaml
dep: libzarith-ocaml-9lp69

sanal paketi sağlayan libzarith-ocaml
dep: libzstd1 (>= 1.5.5)

fast lossless compression algorithm
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
armel	20220511-manganese-5+b11	36.884,8 kB	76.778,0 kB	[dosya listesi]