Ubuntu下安装splint工具

最近编译原理需要使用到splint工具，windows下安装后配置比较复杂，并且还容易出错闪退。
因此我用linux系统来安装。
看了一些用linux安装的教程，发现大部分是既复杂又有错误，很浪费时间，最后发现这就是一句话的事情。
打开终端输入：

sudo apt install splint

然后OK了：

然后测试一下，先写个c文件

调用splint静态编译：

可以看到splint对代码中的变量进行了分析

Ubuntu下安装splint工具相关推荐

ubuntu下安装c++检测工具perf
ubuntu下安装c++检测工具perf sudo apt-get install linux-tools-common sudo apt-get install linux-tools-4.4.0- ...
wireshark使用教程 linux,Linux入门教程:ubuntu下安装wireshark(以及配置非root),这个强大的工具可以捕...
Linux入门教程:ubuntu下安装wireshark(以及配置非root),这个强大的工具可以捕 Wireshark是世界上最流行的网络分析工具.这个强大的工具可以捕捉网络中的数据,并为用户提供关 ...
安装Ubuntu下的开发工具
安装Ubuntu下的开发工具安装Ubuntu下的开发工具刚安装好的Ubuntu,还缺乏很多开发工具.这些工具都可以通过网络进行安装.如果网络不佳,也可以使用光盘中的工具包. 如果要使用光盘中的工具 ...
linux安装系统内存检测,Ubuntu下安装内存检测工具Valgrind
Ubuntu下安装Valgrind很简单,直接从ubuntu软件中心下载安装,并且还会提供一个简单的图形界面..当然,你也可以在命令行中使用. Valgrind实际上是一个工具集,包含多个调试工具,如 ...
Ubuntu下安装配置VNC远程工具
现在Linux是非常火的很多人喜欢用它,界面简单,操作容易,有很多图形化工具如WinSCP可以与Ubuntu进行文件的上传的与下载,Xshell就是如同控制ubuntu的终端一样,简单方便,不过要 ...
ubuntu装双系统win7和linux,Ubuntu下安装WIn7（双系统）
该楼层疑似违规已被系统折叠隐藏此楼查看此楼 win7下安装ubuntu组成双系统很容易,虽然也应该有知道怎么在ubuntu下安装win7组成双系统的人,我就把我的经验分享出来: 1.准备工具:一个U ...
Ubuntu下安装依赖包问题总结
如下包未满足包依赖关系: libvtk-dev5:依赖于:libfreetype6-dev,但它(libfreetype6-dev)将不会被安装依赖于:libnetcdf-dev,但它(libnetc ...
Docker最全教程之Ubuntu下安装Docker（十五）
前言 Ubuntu是一个以桌面应用为主的开源GNU/Linux操作系统,应用很广.本篇主要讲述Ubuntu下使用SSH远程登录并安装Docker,并且提供了Docker安装的两种方式,希望对大家有所帮 ...
metasploit下载教程linux,Ubuntu下安装Metasploit
Metasploit是一款开源的安全漏洞检测工具,可以帮助安全和IT专业人士识别安全性问题,验证漏洞的缓解措施,并管理专家驱动的安全性进行评估,提供真正的安全风险情报. 下载之后记得比对校检码,如果校 ...

Ubuntu下安装splint工具

Ubuntu下安装splint工具相关推荐

最新文章

热门文章