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

[ Source: frama-c  ]

Platform dedikeret til analyse af C-kildekode - uden grafisk brugerflade

Frama-C samler flere statiske analyseteknikker i en enkel samarbejdende ramme, baseret på analyseprogrammer (kaldt for »udvidelsesmoduler«) som kan bygge oven på resultaterne allerede beregnet af andre analyseprogrammer i rammen.

Takket være denne fremgangsmåde tilbyder Frama-C sofistikerede værktøjer, inklusive:

 * et analyseprogram baseret på abstrakt fortolkning (Value-
   udvidelsesmodul)
 * bevisramme for et program baseret på den svageste præbetingede
   calculus (WP-udvidelsesmodul)
 * en programskyder (Slicing-udvidelsesmodul)
 * et værktøj til verifikation af midlertidige egenskaber (LTL) (Aoraï-
   udvidelsesmodul)
 * flere værktøjer for udforskning af kodebasen og afhængighedsanalyse
   (udvidelsesmodulerne From, Impact, Metrics, Occurrence, Scope,
   etc.).

Disse udvidelsesmoduler kommunikerer mellem hinanden via Frama-C API'en og via ACSL-egenskaber (ANSI/ISO C-specifikationssproget).

Denne pakke tilbyder biblioteket for Frama-C, som er nyttigt til at bygge udvidelsesmoduler for Frama-C og kommandolinjeværktøjerne.

Tags: Software Development: Testing and QA, Role: Program, Interface Toolkit: Ncurses TUI

Other Packages Related to frama-c-base

• dep: gcc

  GNU C-oversætter

• dep: libc6 (>= 2.27)

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6-udeb

• dep: libfindlib-ocaml-2vsn1

  virtual package provided by libfindlib-ocaml

• dep: libgmp10

  Bibliotek til multipræcision i aritmetik

• dep: libncurses6 (>= 6)

  delte biblioteker til terminalhåndtering

• dep: libocamlgraph-ocaml-dev

  graph library for OCaml

• dep: libtinfo6 (>= 6)

  delt terminfo-bibliotek på lavt niveau for terminalhåndtering

• dep: libzarith-ocaml-rntd0

  virtual package provided by libzarith-ocaml

• dep: ocaml-base-nox-4.05.0

  virtual package provided by ocaml-base-nox

• rec: alt-ergo

  Automatisk teorem-bevisfører dedikeret til programverifikation

Download frama-c-base

Download for all available architectures

Architecture	Package Size	Installed Size	Files
i386	20,909.4 kB	94,370.0 kB	[list of files]