Установка:
Для установки frama-c-base в Ubuntu / Linux Mint / Debian, введите в Терминал:
Подробная информация о пакете:
Платформа, предназначенная для анализа исходного кода, написанного на C (без gui)
-
Зависимости:
-
Компилятор GNU C
-
Библиотека GNU C: общие библиотеки
-
Многоточечная арифметическая библиотека
-
Графическая библиотека для OCaml
-
Общая библиотека 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