麒麟系统安装splint

1.登陆splint官网下载原码http://www.splint.org/download.html

这里要注意：由于机器是mips所以选择上面的原码自行编译

2.tar -xzf splint-3.1.2.src.tgz

sudo ./configure –prefix=/usr/local/splint

sudo make

sudo make install

3.修改配置文件

#vi ~/.bashrc

最后一行加上：

LARCH_PATH=/usr/local/splint/share/splint/lib
LCLIMPORTDIR=/usr/splint/share/splint/imports

#source ~/.bashrc

# exprot PATH=/usr/local/splint/bin/splint:$PATH

4.验证

#vi null.c

输入：

//null.c
char firstChar1 (/*@null@*/ char *s)

{
return *s;

}
char firstChar2 (/*@null@*/ char *s)

{
if (s ==NULL) return '\0'; return *s;

}

//END

用splint扫面：#splint null.c

Splint 3.1.1 --- 28 Apr 2005
null.c: (in function firstChar1)
null.c:3:11: Dereference of possibly null pointer s: *s null.c:1:35: Storage s may become null Finished checking --- 1 code warning found
由于firstChar1和firstChar2都使用了null说明,表示指针s可能是个NULL值.
所以,splint会对s值的使用情况进行检查.因为firstChar2函数中,对s的值进行
了NULL的判断.所以,没有对firstChar2函数的指针s输出警告信息.

麒麟系统安装splint相关推荐

麒麟系统安装CANN开发环境
麒麟系统安装CANN开发环境 1. 更新麒麟系统从麒麟公司获取,OS Patch包: V10SP1-aarch64-patch03-20201202.tar.gz, 解压缩到任意目录,如:/root ...
中标麒麟系统安装达梦8 数据库
中标麒麟系统安装达梦8 数据库最近国产化软件相继进入各大软件公司使用,达梦作为国内数据库的佼佼者,我们也应该学会使用,软件都是一点点推广,积累了一点小经验,拿来分享.... 环境准备 1.VMwar ...
解决联想笔记本安装银河麒麟系统安装时只有机械硬盘，没有固态硬盘的方法
现象:联想笔记本电脑,配了一块固态硬盘和一块机械硬盘,在进入银河麒麟系统安装界面后,到选择安装位置的时候,只读出了一块机械硬盘,没有找到固态硬盘. 考虑到需要在kylin上开发,所以想把kylin放在 ...
ftp linux 服务器麒麟_麒麟系统安装ftp
第一步:麒麟系统中安装 VSFTPD 服务器首先,我们需要更新系统安装包列表,然后像下面这样安装 VSFTPD 二进制包: $ sudo apt-get update $ sudo apt-get ...
优麒麟系统安装MySQL_优麒麟Linux（Ubuntu Kylin）简易安装手册
优麒麟( (Ubuntu Kylin )18.04 简易安装手册优麒麟(Ubuntu Kylin)18.04 是优麒麟开源操作系统的第三个长线支持版本,为方便用户下载安装和使用,特制作本简易安 ...
麒麟搭建ftp服务器实现文件共享,麒麟系统安装ftp
第一步:麒麟系统中安装 VSFTPD 服务器首先,我们需要更新系统安装包列表,然后像下面这样安装 VSFTPD 二进制包: $ sudo apt-get update $ sudo apt-get ...
国产麒麟系统安装mysql_MySQL数据库之麒麟操作系统安装mysql5.7.21
本文主要向大家介绍了MySQL数据库之麒麟操作系统安装mysql5.7.21 ,通过具体的内容向大家展现,希望对大家学习MySQL数据库有所帮助. 在官网下载安装包. 1.查看是否安装过mysql软件 ...
银河麒麟V10——Ubantu--银河麒麟系统安装
目录一.系统安装一.系统安装 ##银河麒麟镜像下载地址: https://eco.kylinos.cn/partners/mirror.html##优麒麟 ...
优麒麟系统安装MySQL_安装优麒麟（ubuntukylin）操作系统详解
优麒麟(ubuntukylin)操作系统是一个基于Ubuntu,针对国内用户定制一款操作系统.系统中通过预装符合国内操作系统的软件.让用户的适应性增强.近期发布的优麒麟 20.04 版本是一个长期支持 ...

麒麟系统安装splint

麒麟系统安装splint相关推荐

最新文章

热门文章