PC-lint Plus扫描工具用法总结!

蓝图分享网 2022-12-05 22:41:16 453阅读 0评论

  PC-lint Plus是一种静态分析工具,通过分析C和C ++源代码来发现软件中的缺陷。与编译器一样,PC-lint Plus会解析源代码文件,执行语义分析,并构建一个抽象语法树来表示程序。PC-lint Plus采用各种机制,包括数据流分析,数值跟踪,读写分析,强类型检查,功能语义验证和许多其他技术,来提供对单个文件和整个项目强大而全面的分析。下面是小编为大家整理的一些简单用法,希望对你有所帮助哦!

PC-lint Plus扫描工具用法总结! 第1张

  一、前期准备:

  1、下载工具,解压后放到linux下。

  2、官网申请一个三十天的许可证,需要填写邮箱。

  3、linux下安装python及其相关的依赖模块,可以参考手册在DOC/目录下

  (1)安装python

PC-lint Plus扫描工具用法总结! 第2张

  (2) 安装第三方模块

PC-lint Plus扫描工具用法总结! 第3张

  这两个模块安装可能会遇到问题,可能需要你先装PIP工具。大多数问题网上都能找到解决方法,是在自己的环境不行,就从别的地方把模块考过去用。

  4、在linux下设置环境变量PATH,将可执行文件pclp64_linux添加到环境变量PATH中。

PC-lint Plus扫描工具用法总结! 第4张

  二、扫描步骤:

  1、找到自己的编译器,我这里使用的是gcc,找到gcc的安装目录。

PC-lint Plus扫描工具用法总结! 第5张

  2、进入到config目录下执行:

PC-lint Plus扫描工具用法总结! 第6张

  3、然后就可以使用生成的co-gcc.lnt扫描代码了,比如 pclp64_linux hello.c

  三、扫描一个make工程

  linux下大多情况下我们的代码都是一个make工程。怎么扫描整个工程这里写一下步骤:

  1 、首先进入工程下,添加一个环境变量:

PC-lint Plus扫描工具用法总结! 第7张

  2 、然后需要进入到config目录下,使用你的编译器将imposter.c文件编译成可执行文件,在返回到make工程中执行如下命令,会生成一个文件。可以查看该文件内容,自己理解

PC-lint Plus扫描工具用法总结! 第8张

  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

发表评论

快捷回复: 表情:
AddoilApplauseBadlaughBombCoffeeFabulousFacepalmFecesFrownHeyhaInsidiousKeepFightingNoProbPigHeadShockedSinistersmileSlapSocialSweatTolaughWatermelonWittyWowYeahYellowdog
验证码
评论列表 (暂无评论,453人围观)

还没有评论,来说两句吧...