Frama-C安装

最新推荐文章于 2025-06-22 12:30:02 发布

原创最新推荐文章于 2025-06-22 12:30:02 发布 · 2.8k 阅读

5 ·

CC 4.0 BY-SA版权

静态分析专栏收录该内容

2 篇文章

订阅专栏

本文提供了多种Frama-C的安装方法，包括通过官网源码下载、Ubuntu软件中心、命令行及opam安装，适合不同需求的用户。opam安装方式尤其推荐，因为它能确保安装所需的全部依赖，并允许用户选择定制版本。

一、官网源码下载

地址：https://frama-c.com/download.html

下载frama-c源文件，需要注意的是，源码里面并没有包含安装过程中要用到的依赖。同时，frama-c的依赖是很多的，一步步安装缺少的依赖的话会很繁琐，甚至有些依赖装不了。

在下载的源码目录里面有install文件，里面详细介绍了所有的安装方式。下面介绍几种安装方式。

二、ubuntu软件中心安装

这个简单，直接进软件中心搜索下载就行。没有的话，参见以下。

三、命令行安装

sudo apt-get install frama-c

没有找到frama-c的话，参见以下。需要注意的是，这种方式下载的frama-c版本和ubuntu软件中心下载的一样，可能会落后于最新版本。

四、opam安装

这也是最推荐的安装方式。

opam下载安装参见http://opam.ocaml.org/doc/Install.html

具体有两种利用opam安装的方式

一是：

# install Frama-C's dependencies
    opam install depext
    opam depext frama-c
 # install Frama-C
     opam install  frama-c

二是：

# optional: remove the standard frama-c package if it was installed
    opam remove --force frama-c

    # install Frama-C's dependencies
    opam install depext
    opam depext frama-c
    opam install --deps-only frama-c

    # install custom version of frama-c
    opam pin add --kind=path frama-c <dir>

其中dir是从官网下载解压之后的frama-c源码的地址，这种安装方式可以保证安装的frama-c版本是你想要的。