Paket: frama-c-base (20220511-manganese-5 ve diğerleri) [debports]

[ Kaynak:  ]

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.

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

• 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-vad17

  sanal paketi sağlayan libcairo2-ocaml

• dep: libfindlib-ocaml-avu28

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

  sanal paketi sağlayan liblablgtk3-ocaml

• dep: liblablgtksourceview3-ocaml-udvc2

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

  sanal paketi sağlayan libppx-deriving-ocaml

• dep: libppx-import-ocaml

  OCaml extension to import declarations (runtime)

• dep: libresult-ocaml-8l2r6

  sanal paketi sağlayan libresult-ocaml

• dep: libstdlib-ocaml-rg5q2

  sanal paketi sağlayan libstdlib-ocaml

• dep: libyojson-ocaml-sfuo4

  sanal paketi sağlayan libyojson-ocaml

• dep: libzarith-ocaml-1ulz1

  sanal paketi sağlayan libzarith-ocaml

• 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
x32 (resmi olmayan port)	20220511-manganese-5+b5	32.806,6 kB	157.637,0 kB	[dosya listesi]