静态检查-----pclint使用

来源:互联网 发布:网络宣传部是干什么的 编辑:程序博客网 时间:2024/04/16 15:19
     PC-Lint 是GIMPEL SOFTWARE 公司开发的C/C++软件代码静态分析工
具,它的全称是PC-Lint/FlexeLint for C/C++,PC-Lint 能够在Windows、
MS-DOS和OS/2 平台上使用,以二进制可执行文件的形式发布,而FlexeLint 
运行于其它平台,以源代码的形式发布。PC-lint在全球拥有广泛的客户群,许
多大型的软件开发组织都把PC-Lint 检查作为代码走查的第一道工序。PC-Lint
不仅能够对程序进行全局分析,识别没有被适当检验的数组下标,报告未被初始
化的变量,警告使用空指针以及冗余的代码,还能够有效地帮你提出许多程序在

空间利用、运行效率上的改进点。 


1.下载

PC-Lint+9.0e破解版 和 说明

http://download.csdn.net/detail/lingyin55/3421037


2.PC-Lint 与source insight集成 

     PC-Lint 与source insight的集成也是通过添加定制命令实现的,从
“Options” 菜单中选择“Custom Commands” 命令项。点击“Add…” 按钮,如
图4.21所示,在弹出的“Custom Commands” 窗口中完成以下输入: 
在Name 栏中输入“PC-lint Check Current File” ,原则上这个名称可以随便
起,只要你能搞清楚它的含义就可以了; 
在Run 栏中输入“C:\PcLint\lint-nt -u -iC:\PcLint\Lint std_f env-si %f”
其中C:\PcLint 是你PC-LINT的安装目录,std_f 表示为Source Insight定
制的配置文件std_f.lnt; 
在Output栏中选择“Iconic Window”、“Capture Output” 选项; 
在Control 栏中选择“Save Files First” ; 
在Source Links in Output栏中选择“Parse Links in Output”、“File,then 
Line”; 
在Pattern 栏中输入“^\([^ ]*\) \([0-9]+\)” ; 




我的run设置:

"D:\Program Files\lint\lint-nt" -u -i"D:\Program Files\lint\lnt" "D:\Program Files\lint\std.lnt" env-si %f




3. std.lnt

//NOTES: DON'T delete the comment string//author+++//au-sm.lnt au-ds.lnt au-misra.lnt//author--- //compiler+++co-gnu3.lnt//compiler--- //library+++lib-stl.lnt lib-w32.lnt lib-wnt.lnt//library--- //alignment+++-si4 -sp4//alignment--- //3gTdrnc.lnt-i头文件路径

4.运行 按f11快捷键
















0 0
原创粉丝点击