Установка:

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

sudo apt update
sudo apt install frama-c-base
frama-c-base — Платформа, предназначенная для анализа исходного кода, написанного на C (без gui)

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

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

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

  • gcc

    Компилятор GNU C

  • libc6

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

  • libgmp10

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

  • libocamlgraph-ocaml-dev

    Графическая библиотека для OCaml

  • libtinfo5

    Общая библиотека terminfo низкого уровня для обработки терминала

  • libfindlib-ocaml-2vsn1

  • libfindlib-ocaml-ima03

  • libfindlib-ocaml-vlp43

  • libzarith-ocaml-433l0

  • libzarith-ocaml-dt9w1

  • libzarith-ocaml-gqf85

  • libzarith-ocaml-rntd0

  • libzarith-ocaml-zmoc1

  • ocaml-base-nox-4.05.0