有人问:代码中类似 /*lint !e750... */代表什么意思? 回答这个问题,就要牵涉到本文说的PC-Lint这个工具。 1写在前面可能有一定编程经验的朋友,应该在一些地方都看到过类似 /*lint !e750... */ 这种“注释”。 但,有多少人去分析过它的含义呢? 比如:在FreeRTOS的tasks.c源码中有如下一行语句: #undef MPU_WRAPPERS_INCLUDED_FROM_API_FILE /*lint !e961 !e750. */ 后面 /*lint !e961 !e750. */ 作用就是:在使用PC-Lint工具进行静态分析时,隐藏本行宏定义未被调用的“错误”。 换种方式理解:编译时,这条语句不出现警告信息(注意:这里是比喻为编译,其实是PC-Lint静态分析)。 2 关于PC-LintPC-Lint 是GIMPEL SOFTWARE公司开发的C/C++软件代码静态分析工具,它的全称是PC-Lint/FlexeLint for C/C++。 你可以把它看作是一种更加严格的编译器。它除了可以检查出一般的语法错误外,还可以检查出那些虽然符合语法要求,但很可能是潜在的、不易发现的错误。 C语言的灵活性带来了代码效率的提升,但相应带来了代码编写的随意性,另外C编译器不进行强制类型检查,也带来了代码编写的隐患。 PC-Lint识别并报告C语言中的编程陷阱和格式缺陷的发生。它进行程序的全局分析,能识别没有被适当检验的数组下标,报告未被初始化的变量,警告使用空指针,冗余的代码等。 软件除错是软件项目开发成本和延误的主要因素,PC-lint能够帮你在程序动态测试之前发现编码错误,这样消除错误的成本更低。 错误号 PC-Lint 能够检查出很多语法错误和语法上正确的逻辑错误,PC-Lint 为大部分错误消息都分配了一个错误号: 这些错误号在文档中有详细说明: 命令格式: 更多相关内容可以参考官网: www.gimpel.com 3 Keil支持PC-Lint说明在Keil官网有这样一段信息:
http://www./pclint 大概意思就是Keil(ARM, C51, C251, and C166)支持PC-Lint,配置文件包含在Keil开发工具中,使您能够在应用程序开发和测试中快速轻松地开始使用PC-Lint。 还提供了一个例子: 示例代码: C51编译输出结果: 执行PC-Lint输出: 示例程序列表(错误以突出显示),C51编译器输出和PC-Lint输出。当PC-Lint检测到并报告26个错误和警告时,C51编译器会检测并报告12个错误和警告。 4 MDK中添加PC-Lint要使用PC-Lint,大概需要以下两步:
PC-Lint是一款收费的工具,大家可以网上搜索相关po解版本,相关安装很简单,这里不说明。 2.MDK添加PC-Lint 在MDK的帮助文档中,有相关添加和配置说明,我这里也简单说下。 A.菜单Tools -> Set-up PC-lint 进入配置界面(如上图) B.添加lint-nt.exe 前提需要安装PC-Lint,指向安装路径下的lint-nt.exe。点击“...”即可添加(标记1)。 C.添加co-ARMCC-5.lnt 这个路径是MDK安装目录下面,可参看上图(标记2)。 D.MISRA 规则配置 这里参看帮助文档,选择MISRA_C_2012_Config (标记3)。 E.增加PC-Lint命令 例如,要禁止PC-lint输出的info 714消息,可以在此对话框中输入-e714 (标记4)。 当然,本文重点在于引导大家了解PC-Lint这个工具,想要运用PC-lint这个工具,还需要掌握更多相关规则、配置。 |
|
来自: 西北望msm66g9f > 《编程》