fanguangsheng的博客

ocaml作为一门函数式编程语言，由法国巴黎高师提出，广泛应用于静态分析工具的编写中，如infer，frama-c、sparrow。下面介绍ocaml项目环境搭建。长话短说，ubuntu + eclipse +OcaIDE插件ubuntu安装eclipse请自行百度OcalIDE插件网址http://www.algo-prog.info/ocaide/index.php这个插...

一、官网源码下载地址：https://frama-c.com/download.html下载frama-c源文件，需要注意的是，源码里面并没有包含安装过程中要用到的依赖。同时，frama-c的依赖是很多的，一步步安装缺少的依赖的话会很繁琐，甚至有些依赖装不了。在下载的源码目录里面有install文件，里面详细介绍了所有的安装方式。下面介绍几种安装方式。二、ubuntu软件中心安装...