» Математика

Как установить frama-c в Ubuntu / Debian

Установка:

Для установки frama-c в Ubuntu / Linux Mint / Debian, введите в Терминал:

sudo apt update
sudo apt install frama-c
Dzen
frama-c — Платформа, посвященная анализу исходного кода, написанного на C

Подробная информация о пакете:

Платформа, посвященная анализу исходного кода, написанного на C

http://frama-c.com/
, , , ,
Источник: packages.ubuntu.com

  • Зависимости:

  • emacs

    Редактор GNU Emacs (метапакет)

  • frama-c-base

    Платформа, предназначенная для анализа исходного кода, написанного на C (без gui)

  • graphviz

    Богатый набор инструментов рисования графиков

  • libc6

    Библиотека GNU C: общие библиотеки

  • libgdk-pixbuf2.0-0

    Библиотека GDK Pixbuf

  • libglib2.0-0

    Библиотека GLib подпрограмм C

  • libgmp10

    Многоточечная арифметическая библиотека

  • libgnomecanvas2-0

    Мощный объектно-ориентированный движок отображения - файлы времени выполнения

  • libgtk2.0-0

    Библиотека графического интерфейса пользователя GTK+

  • libgtksourceview2.0-0

    Общие библиотеки для виджета подсветки синтаксиса GTK+

  • libpango-1.0-0

    Макет и предоставление интернационализированного текста

  • emacsen

  • liblablgtk2-gnome-ocaml-dlf93

  • liblablgtk2-gnome-ocaml-u0ga5

  • liblablgtk2-gnome-ocaml-vqtd7

  • liblablgtk2-ocaml-e0615

  • liblablgtk2-ocaml-e53h4

  • liblablgtk2-ocaml-il3k6

  • liblablgtksourceview2-ocaml-3yfn9

  • liblablgtksourceview2-ocaml-l26k1

  • liblablgtksourceview2-ocaml-rynx6

  • ocaml-base-nox-4.05.0