PC-lint研究总结
1.PC-lint总体介绍
2.
PC-Lint/FlexeLint for C/C++是GIMPEL SOFTWARE公司的产品，是C/C++软件代码静态分析工具，你可以把它看作是一种更加严格的编译器。它除了可以检查出一般的语法错误外，还可以检查出那些虽然符合语法要求，但很可能是潜在的、不易发现的错误。
C语言的灵活性带来了代码效率的提升，但相应带来了代码编写的随意性，另外C编译器不进行强制类型检查，也带来了代码编写的隐患。PC-Lint识别并报告C语言中的编程陷阱和格式缺陷的发生。它进行程序的全局分析，能识别没有被适当检验的数组下标，报告未被初始化的变量，警告使用空指针，冗余的代码，等等。软件除错是软件项目开发成本和延误的主要因素。PC-lint能够帮你在程序动态测试之前发现编码错误。这样消除错误的成本更低。
PC-lint全球拥有广泛的客户，因为它性价比高，易于学习，容易推广和固化到软件开发测试流程中去。使用方法很简单，可以用命令行方式进行，例如lint-nt –u std.lnt test1.c test2.c
test3.c 。 另外支持MAKEFILE方式。也可以集成到开发环境中。如集成到Source Insight/SLICKEDIT/MS VC6.0/KEIL C..等。
如微软公司，都把它作为程序检查工具，在程序合入正试版本或交付测试之前一定要保证通过了LINT检查，他们要求软件工程师在使用LINT时要打开所有的编译开关，如果一定要关闭某些开关，那么要给出关闭这些开关的正当理由。
由于越来越多的用户要求能在非PC的平台上使用PC-Lint，GIMPEL公司采用了标准C源码包的方式发布了FlexeLint，这样一来，FlexeLint就可被用户方便的移植在各种的平台上。
安装和配置
3.
安装
3.1
由于此版本比较特殊，故无需安装，只需要将RAR压缩包里的所有文件解压到一个目录下
即可，这里假定为C:\PCLint8目录。
解压之后目录中文件及目录的说明如下：
PC-lint可执行程序；
  配置向导；
read80.txt   手册的补充说明，最新特性的更新都在这里说明；
pc-lint.pdf PC-Lint英文参考手册，许多问题的答案可以在这里到；
pr.exe        打印工具；
      文本格式的错误号信息解释文件；
patch.exe     LINT补丁升级工具；
Lnt\           包含各种lnt配置文件的目录，文件如下：
co-....lnt   各种特定的编译器的配置文件；
co.lnt     通用的编译器配置文件；
sl-....c     支持各种非ANSI标准编译器的标准库模块；
sl.c        支持ANSI标准的通用编译器的标准库模块；
env-....lnt 支持包括微软Visual Studio在内的各种开发环境以及多种编辑工具的配置文件；
lib-....lnt 支持各种特定库的配置选项文件；
au-....lnt   作者编程建议的配置文件；
Test\.           包含各种测试源文件的目录。批处理文件注释
配置
3.2
假定我们为Microsoft Visual C++ 6的开发环境进行配置，运行C:\进行配置。

版权声明：本站内容均来自互联网，仅供演示用，请勿用于商业和其他非法用途。如果侵犯了您的权益请与我们联系QQ:729038198，我们将在24小时内删除。