Paket: frama-c-base (20171101+sulfur+dfsg-2)

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 (without gui)

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 and the command-line tools.

Etiketler: Yazılım Geliştirme: Test ve Kalite Güvencesi, Rol: Program, Arayüz Araç Takımı: Ncurses TUI

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

bağımlılıklar

tavsiye edilen

önerilen

enhances

dep: gcc

GNU C compiler
dep: libc6 (>= 2.27)

GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb
dep: libfindlib-ocaml-2vsn1 [armhf, i386]

sanal paketi sağlayan libfindlib-ocaml
dep: libfindlib-ocaml-ima03 [amd64, arm64]

sanal paketi sağlayan libfindlib-ocaml
dep: libgmp10

Multiprecision arithmetic library
dep: libncurses6 (>= 6)

shared libraries for terminal handling
dep: libocamlgraph-ocaml-dev

graph library for OCaml
dep: libtinfo6 (>= 6)

shared low-level terminfo library for terminal handling
dep: libzarith-ocaml-433l0 [armhf]

sanal paketi sağlayan libzarith-ocaml
dep: libzarith-ocaml-dt9w1 [arm64]

sanal paketi sağlayan libzarith-ocaml
dep: libzarith-ocaml-gqf85 [amd64]

sanal paketi sağlayan libzarith-ocaml
dep: libzarith-ocaml-rntd0 [i386]

sanal paketi sağlayan libzarith-ocaml
dep: ocaml-base-nox-4.05.0

sanal paketi sağlayan ocaml-base-nox

rec: alt-ergo

Automatic theorem prover dedicated to program verification

frama-c-base indir

Tüm mevcut mimariler için indir
Mimari	Paket Boyutu	Kurulu Boyut	Dosyalar
amd64	21.778,0 kB	107.753,0 kB	[dosya listesi]
arm64	23.463,0 kB	115.927,0 kB	[dosya listesi]
armhf	21.735,1 kB	92.162,0 kB	[dosya listesi]
i386	20.909,4 kB	94.370,0 kB	[dosya listesi]