PC-Lint是GIMPEL SOFTWARE公司开发的C/C++软件代码静态分析工具,它的全称是PC-Lint/FlexeLint for C/C++,软件能够在Windows、MS-DOS和OS/2平台上使用,以二进制可执行文件的形式发布。在全球拥有广泛的客户群,许多大型的软件开发组织都把该软件检查作为代码走查的第一道工序。不仅能够对程序进行全局分析,识别没有被适当检验的数组下标,报告未被初始化的变量,警告使用空指针以及冗余的代码,还能够有效地帮你提出许多程序在空间利用、运行效率上的改进点。
软件配置
1、首先对软件进行默认安装,安装完成后勾选进入配置
2、选择软件所安装的路径
3、选择“是”,表示将配置保存在安装目录下
4、选择所安装的编程开发环境,也就是软件要使用的地方
5、根据自己的系统选择
6、依据自己的开发环境及PC机的配置进行选择
7、选择软件进行检查时所依据的标准,一般选择MISRA 2004,这是目前高效编程中标准最好的了
8、选择读者的开发环境的一些检查路径所对应的文件夹,主要是一些头文件。检查时会检查是否与这个头文件内容冲突了
9、选择“否”
10、选择“no”
11、还是选择自己的开发环境
13、 选择第一项后继续
14、如果你没有更改默认安装路径的话,直接“下一步”即可,如果更改了就需要选择读者最开始所安装的目录
15、点击”完成”即完成配置
使用教程
在VC中运行PCLint
1、点击工具>外部工具>添加,导入pc_lint,
标题:pc_lint
命令:C:\lint\lint-nt.exe
参数:-i"c:/lint" std.lnt env-vc9.lnt "$(ItemDir)$(ItemFileName)$(ItemExt)"
初始目录:$(ItemDir)
然后“使用窗口输出”前打勾
2、点击确定,工具菜单就多了pc_lint了,点击得输出结果
3、软件目录下几个重要的文件及程序
lint-nt.exe:PC-lint的可执行程序。
config.exe: PC-lint的配置文件程序。
pc-lint.pdf:PC-lint的PDF格式的在线手册,本文的大部分内容是从中得来的。
msg.txt: 对于错误消息编号的详细解释。
Lnt\: 这个目录下有些东西还是值得认识一下。
co-....lnt: 指定的编译器的可选编译文件。
co.lnt: 通用的可选编译文件。
sl-....c 非ANSI编译器的标准库文件模块
sl.c: 非ANSI编译器的通用标准库文件模块
env-....lnt:不同平台下的可选文件,包括MS Visual Studio和其他各种编辑工具。
lib-....lnt:可选文件, 特定的"有挑战性"的库文件。
au-....lnt: 可选文件, 作者们推荐的检测条件。
功能介绍
1、PC Lint是一种静态代码检测工具,可以说,软件是一种更加严格的编译器,不仅可以象普通编译器那样检查出一般的语法错误,还可以检查出那些虽然完全合乎语法要求,但很可能是潜在的、不易发现的错误。
2、PC lint不但可以检测单个文件,也可以从整个项目的角度来检测问题,因为C语言编译器固有的单个编译,这些问题在编译器环境下很难被检测,而PC Lint在检查当前文件的同时还会检查所有与之相关的文件,可想而知,它会对我们有很大的帮助。
3、 PC lint支持几乎所有流行的编辑环境和编译器,比如Borland C++从1.x到5.x各个版本、Borland C++ Build、GCC、VC、watcomC/C++、Source insight、intelC/C++等等,也支持16/32/64的平台环境。
4、支持Scott Meyes的名著(Effective C++/More Effective C++)中说描述的各种提高效率和防止错误的方法。
0条评论