Paket: frama-c-base (20220511-manganese-5 och andra)

[ Källkod: frama-c  ]

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.

Märken: Software Development: Testing and QA, User Interface: Graphical User Interface, X Window System, Role: role::program, uitoolkit::gtk, Interface Toolkit: Ncurses TUI, X Window System: Application

Andra paket besläktade med frama-c-base

• dep: gcc

  GNU C compiler

• dep: libc6 (>= 2.34)

  GNU C-bibliotek: Delade bibliotek
  också ett virtuellt paket som tillhandahålls av libc6-udeb

• dep: libcairo2 (>= 1.12.0)

  Cairo 2D vector graphics library

• dep: libcairo2-ocaml-uvn20

  virtuellt paket som tillhandahålls av libcairo2-ocaml

• dep: libfindlib-ocaml-gc4b1

  virtuellt paket som tillhandahålls av 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-oh775

  virtuellt paket som tillhandahålls av liblablgtk3-ocaml

• dep: liblablgtksourceview3-ocaml-6vnq1

  virtuellt paket som tillhandahålls av 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-eu085

  virtuellt paket som tillhandahålls av libppx-deriving-ocaml

• dep: libppx-import-ocaml

  OCaml extension to import declarations (runtime)

• dep: libresult-ocaml-mx0o3

  virtuellt paket som tillhandahålls av libresult-ocaml

• dep: libstdlib-ocaml-vjut8

  virtuellt paket som tillhandahålls av libstdlib-ocaml

• dep: libyojson-ocaml-027y9

  virtuellt paket som tillhandahålls av libyojson-ocaml

• dep: libzarith-ocaml-zlfv4

  virtuellt paket som tillhandahålls av 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

  Paketet inte tillgängligt

• rec: why3

  Software verification platform

Hämta frama-c-base

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
riscv64	20220511-manganese-5+b7	57.944,0 kbyte	318.714,0 kbyte	[filförteckning]