Linux 安装frama-c

最新推荐文章于 2024-06-07 09:56:41 发布
最新推荐文章于 2024-06-07 09:56:41 发布
阅读量490 收藏 1
点赞数
文章标签： 代码规范
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/royal_yyy/article/details/124805195
版权

按官网的三部曲输入命令即可
安装步骤：网址

但本人在安装时遇到了如下问题

安装时出现Unbound module Big_int的错误

我的环境是ubuntu20.04，出现这个错误执行以下代码即可

opam remove altgr-ergo
opam install alt-ergo.2.2.0

详见官网issue

安装成功后在终端执行‘frama-c’ 出现command not found

原因是没有看安装成功后的提示
在这里插入图片描述
按提示运行命令

eval $(opam env)

即可正常使用frama-c

Royal_YYY
关注
【代码质量】C/C++代码静态分析与常用分析软件工具
萧海的博客
08-23 1231
文章目录 1 前言2 什么是静态分析3 静态分析方法4 静态分析内容4.1 内存相关4.2 逻辑类4.3 编程风格与其他 5 常用静态分析工具6 参考文章 1 前言   对于大型C/C++项目，一般是以团队分模块开发的方式，代码量数十万或者更多。由于代码量的激增以及开发人员众多，代码出现bug的概率也随之增加。——这是一个数学上概率论的问题，而不是程序员的编码技术问题。其中一部分问题是非执行过程引起的静态问题，如内存泄露、内存越界、野指针、逻辑模糊、死锁等等，在发布代码前可以借助一些检..
Ubuntu 16.04 下 frama-c的安装
jlu_wangqi的博客
08-02 551
安装frama-c的准备工作 安装opam： sudo add-apt-repository ppa:avsm/ppa sudo apt update sudo apt install opam 查看安装的opam版本： opam --version 确认opam的版本>=2.0.0 使用opam安装fragma-c # 安装frama-c的依赖项 opam install depext opam depext frama-c opam install frama-c 判断frama-c是否
Frama-C安装
fanguangsheng的博客
04-18 2359
一、官网源码下载 地址：https://frama-c.com/download.html 下载frama-c源文件，需要注意的是，源码里面并没有包含安装过程中要用到的依赖。同时，frama-c的依赖是很多的，一步步安装缺少的依赖的话会很繁琐，甚至有些依赖装不了。 在下载的源码目录里面有install文件，里面详细介绍了所有的安装方式。下面介绍几种安装方式。 二、ubuntu软件中心安装 ...
Frama-C安装过程
u010260808的博客
07-09 2701
第一步：安装opam opam的安装依赖make、m4和cc。 cc其实包含在gcc中。 sudo add-apt-repository ppa:avsm/ppa sudo apt update sudo apt install make m4 gcc opam 第二步：opam初始化 sudo opam init 完成初始化后运行下面指令 eval $(opam env) 第三步：安装frama-C sudo opam install depext sudo opam depex
Ubuntu 14.04 frama-c 安装尝试
u011579808的博客
03-06 1010
1.安装opamhttp://opam.ocaml.org/doc/Install.htmladd-apt-repository ppa:avsm/ppa apt-get update apt-get install ocaml ocaml-native-compilers camlp4-extra opam直接用opam install frama-c, 会发现frama-c, ocamlfin...
Ubuntu18.04安装frama-c
衣带渐宽人憔悴
04-17 536
Ubuntu Versions 18.04 and newer There is a ppa available that contains the current stable version of opam. 1、安装opam add-apt-repository ppa:avsm/ppa apt update apt install opam 2、初始化opam： opam init 3、安装frama-c # install Frama-C's dependenc.
基于CBMC和FRAMA-C的循环执行程序测试数据生成：案例研究 Omer Nguena Timo1，2 Guillaume Langelier ...
可在www.sciencedirect.com在线获取理论计算机科学电子笔记320（2016）35-51www.elsevier.com/locate/entcs基于CBMC和FRAMA-C的循环执行程序测试数据生成：案例研究Omer Nguena Timo1，2 Guillaume Langelier ...
如何用C语言实现搜索功能,关于C ++：如何在源代码中查找搜索词
weixin_33140809的博客
05-23 1487
我正在寻找一种在项目的C / C ++代码中搜索给定术语的方法，同时忽略注释和字符串中的任何内容。由于代码库很大，我正在寻找一种方法来自动识别与我的搜索词匹配的代码行，因为它们需要人工检查。如果可能的话，我想在Linux系统上执行搜索。背景所讨论的代码库是带有大量第三方插件的实时信号处理引擎。插件以多种语言实现(大多数语言是C，但也包括C ++和其他语言；目前我只关心这两种语言)，尚未执行任何标准...
gcc 4.7.2正式版02
03-05
7. **代码分析工具集成**：该版本还包含了对GCC插件和静态分析工具的支持，如Frama-C和Coverity，帮助开发者检测潜在的编程错误和安全漏洞。 8. **编译器警告**：GCC 4.7.2对编译时警告进行了增强，能够检测出更多...
指令集模拟器认证石小穆博士论文 HAL Id：tel-00937524v2 GRENM 075 Grenoble大学 2013.
指令集模拟器的认证石小穆引用此版本：石小慕。指令集模拟器的认证。嵌入式系统Greno-ble大学英语NNT：2013GRENM 075。...L’archive ouverte pluridisciplinaireTHAPOSE为了获得等级格勒诺布尔大学博士专业：信息逮捕...
macOS 安装 Frama-C 及使用
weixin_45651194的博客
01-09 819
c程序分析工具 frama-c，安装与使用！
Frama-C news and ideas
蓝色污点的专栏
11-25 2180
原文：http://blog.frama-c.com/index.php?post/2013/05/02/nearbyintf1 Harder than it looks: rounding float to nearest integer, part 1 By pascal on Thursday, May 2 2013, 18:14 - Permalink
探索C语言代码安全的利器：Frama-C
最新发布
gitblog_00008的博客
06-07 870
探索C语言代码安全的利器：Frama-C 项目地址:https://gitcode.com/Frama-C/Frama-C-snapshot Frama-C 是一个专注于C语言源代码分析的平台，它为开发者提供了一个集成的环境，整合了多种不同的分析技术，旨在确保代码的安全性和正确性。 项目介绍 Frama-C的独特之处在于其协同平台的设计理念。项目的核心是一个内核，提供了C程序的标准抽象语法树（A...
C代码分析工具 - Frama-C
weixin_30332241的博客
02-01 916
Frama-C 是一个用来分析 C 代码的工具，它收集了很多静态统计技术，如代码切片和依赖分析等。 项目地址：http://frama-c.com/ 转载于:https://www.cnblogs.com/taskiller/archive/2013/02/01/2889041.html...
静态代码分析工具清单：开源篇
liwg06
02-21 8237
本文是一个静态代码分析工具的清单，共有26个工具。包括4个.NET工具、2个Ada工具、7个C++工具、4个Java工具、2个JavaScript工具、1个Opa工具、2个Packaging工具、3个Perl工具、1个Python工具。
静态代码分析工具列表分析---代码分析工具列表（30款工具）
热门推荐
视频质量测试mazhitong1227的博客
09-07 2万+
本文是一个静态代码分析工具的清单，共有30个工具。包括4个.NET工具、2个Ada工具、7个C++工具、4个Java工具、2个JavaScript工具、1个Opa工具、2个Packaging工具、3个Perl工具、1个Python工具、1个嵌入式工具、2个二进制工具、1个静态分析工具 Fortify SCA        Fortify SCA 是一个静态的、白
ACSL 及Frama-C验证工具简介（一）
wcventure的博客
10-19 1603
ACSL 及相关工具简介 在软件系统的开发过程中，如何检查功能模块是否符合设计预期并保证这些模块能够正确的组合在一起实现更复杂的功能，是一个核心问题。测试（testing）的方法在一定程度上能够帮助我们发现一些问题；但要获得更可靠的保证，往往需要借助程序验证（verification）的方法：亦即使用某种形式化的语言（通常包括了对谓词逻辑的支持）对程序行为作出规范，然后使用逻辑规则证明相关代码符合给出的规范。 由法国原子能和替代能源委员会下属实验室（CEA-LIST）和法国国家信息与自动化研究所（INR
Installing CIL
wkd22775的专栏
03-22 610
Here is installation If there is an error unbound module Big_int You can install num by opam install num Because big_int is under package “num” There are also people saying installing “batte...
frama-c-gui命令找不到
05-23
如果您在使用命令行时遇到了“frama-c-gui命令找不到”的错误消息，可能是因为您没有安装Frama-C GUI或者Frama-C GUI的路径没有被正确地添加到系统的环境变量中。 如果您还没有安装Frama-C GUI，可以从官方网站（http://frama-c.com/download.html）下载适合您操作系统的版本。 如果您已经安装了Frama-C GUI，但仍然无法在命令行中找到该命令，您可以尝试手动添加Frama-C GUI的路径到系统的环境变量中。具体步骤如下： 1. 打开“控制面板”并选择“系统和安全”选项； 2. 点击“系统”，然后在左侧选择“高级系统设置”； 3. 在弹出的“系统属性”对话框中点击“环境变量”按钮； 4. 在“环境变量”对话框中找到“系统变量”下的“Path”变量，并选中它，然后点击“编辑”按钮； 5. 在“编辑环境变量”对话框中，添加Frama-C GUI的路径（例如：C:\Program Files (x86)\Frama-C\bin）到“变量值”中，并点击“确定”按钮保存更改。 完成以上步骤后，您应该可以在命令行中正常使用frama-c-gui命令了。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值