Пакет: frama-c-base (20171101+sulfur+dfsg-2)

[ Източник: frama-c  ]

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.

Етикети: Software Development: Testing and QA, Role: Program, Interface Toolkit: Ncurses TUI

Други пакети, свързани с frama-c-base

• dep: gcc

  GNU C compiler

• dep: libc6 (>= 2.27)

  GNU C Library: Shared libraries
  също и виртуален пакет, предлаган от libc6-udeb

• dep: libfindlib-ocaml-2vsn1 [armhf, i386]

  виртуален пакет, предлаган от libfindlib-ocaml

• dep: libfindlib-ocaml-ima03 [amd64, arm64]

  виртуален пакет, предлаган от 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]

  виртуален пакет, предлаган от libzarith-ocaml

• dep: libzarith-ocaml-dt9w1 [arm64]

  виртуален пакет, предлаган от libzarith-ocaml

• dep: libzarith-ocaml-gqf85 [amd64]

  виртуален пакет, предлаган от libzarith-ocaml

• dep: libzarith-ocaml-rntd0 [i386]

  виртуален пакет, предлаган от libzarith-ocaml

• dep: ocaml-base-nox-4.05.0

  виртуален пакет, предлаган от ocaml-base-nox

• rec: alt-ergo

  Automatic theorem prover dedicated to program verification

Изтегляне на frama-c-base

Изтегляне за всички налични архитектури

Архитектура	Големина на пакета	Големина след инсталиране	Файлове
amd64	21 778,0 кБ	107 753,0 кБ	[списък на файловете]
arm64	23 463,0 кБ	115 927,0 кБ	[списък на файловете]
armhf	21 735,1 кБ	92 162,0 кБ	[списък на файловете]
i386	20 909,4 кБ	94 370,0 кБ	[списък на файловете]