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

Ссылки для frama-c-base

Ресурсы Debian:

Исходный код frama-c:

Сопровождающие:

Внешние ресурсы:

Сайт [frama-c.com]

Подобные пакеты:

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.

Теги: Разработка программного обеспечения: Тестирование и обеспечение качества, Роль: Программа, Инструментарий интерфейса: Ncurses TUI

Другие пакеты, относящиеся к frama-c-base

зависимости

рекомендации

предложения

enhances

dep: gcc

компилятор C от GNU
dep: libc6 (>= 2.27)

библиотека GNU C: динамически подключаемые библиотеки
также виртуальный пакет, предоставляемый libc6-udeb
dep: libfindlib-ocaml-2vsn1 [armhf, i386]

виртуальный пакет, предоставляемый libfindlib-ocaml
dep: libfindlib-ocaml-ima03 [amd64, arm64]

виртуальный пакет, предоставляемый libfindlib-ocaml
dep: libgmp10

библиотека для работы с числами произвольной точности
dep: libncurses6 (>= 6)

разделяемые библиотеки для управления терминалом
dep: libocamlgraph-ocaml-dev

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

низкоуровневая библиотека для работы с терминалом
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 Кб	[список файлов]