PC-lint Plus扫描工具用法总结!
PC-lint Plus是一种静态分析工具,通过分析C和C ++源代码来发现软件中的缺陷。与编译器一样,PC-lint Plus会解析源代码文件,执行语义分析,并构建一个抽象语法树来表示程序。PC-lint Plus采用各种机制,包括数据流分析,数值跟踪,读写分析,强类型检查,功能语义验证和许多其他技术,来提供对单个文件和整个项目强大而全面的分析。下面是小编为大家整理的一些简单用法,希望对你有所帮助哦!
一、前期准备:
1、下载工具,解压后放到linux下。
2、官网申请一个三十天的许可证,需要填写邮箱。
3、linux下安装python及其相关的依赖模块,可以参考手册在DOC/目录下
(1)安装python
(2) 安装第三方模块
这两个模块安装可能会遇到问题,可能需要你先装PIP工具。大多数问题网上都能找到解决方法,是在自己的环境不行,就从别的地方把模块考过去用。
4、在linux下设置环境变量PATH,将可执行文件pclp64_linux添加到环境变量PATH中。
二、扫描步骤:
1、找到自己的编译器,我这里使用的是gcc,找到gcc的安装目录。
2、进入到config目录下执行:
3、然后就可以使用生成的co-gcc.lnt扫描代码了,比如 pclp64_linux hello.c
三、扫描一个make工程
linux下大多情况下我们的代码都是一个make工程。怎么扫描整个工程这里写一下步骤:
1 、首先进入工程下,添加一个环境变量:
2 、然后需要进入到config目录下,使用你的编译器将imposter.c文件编译成可执行文件,在返回到make工程中执行如下命令,会生成一个文件。可以查看该文件内容,自己理解
3 、返回到config目录下,然后执行如下命令(前提是你又生成的co-gcc.h co-gcc.lnt,这在第二节中的第2步会生成):
./pclp_config.py –compiler=gcc –imposter-file=/xxxPATH/hello.commands –config-output-lnt-file=hello.lnt –generate-project-config
PATH目录自己加,这时会在该目录下生成你make工程的lnt文件,需要扫描的就是这个文件。hello.lnt
4、 这时我一般会返回make工程(但是不去也行)目录下,将刚才生成的hello.lnt拷贝过来。执行扫描命令:
pclp64_linux co-gcc.lnt hello.lnt >> warning.c 将扫描信息重定位到一个文件中
备注:
(1)这里再介绍一个参数-unit_check,加上这个参数不会报全局相关的错误,如果你的代码只是一个简单的模块,比如是作为一个库,应该加上这个参数
pclp64_linux co-gcc.lnt -unit_check hello.lnt >> warning.c
(2)还有一个就是工具中会有一个lnt目录,这个目录下会有各种规则的lnt。比如你想让你的代码符合MISRA标准,你就可以使用工具自带的lnt文件来扫描:
pclp64_linux co-gcc.lnt au-misra3.lnt -unit_check hello.lnt >> warning.c
(3)不过扫描出来的内容有点多,可以根据警告的标号在手册中搜索,都搜索出来是什么问题,及那个规则需要支持该问题。
好啦,以上就是本期小编为大家整理的PC-lint Plus扫描工具用法总结的全部内容了,想要知道更多相关资讯内容敬请关注蓝图技术网官网吧!
免责声明:
1、本站所有资源文章出自互联网收集整理,本站不参与制作,如果侵犯了您的合法权益,请联系本站我们会及时删除。
2、本站发布资源来源于互联网,可能存在水印或者引流等信息,请用户擦亮眼睛自行鉴别,做一个有主见和判断力的用户。
3、本站资源仅供研究、学习交流之用,若使用商业用途,请购买正版授权,否则产生的一切后果将由下载用户自行承担。
4、侵权违法和不良信息举报 举报邮箱:cnddit@qq.com
还没有评论,来说两句吧...