PCLINT 简介

PCLINT是Gimpel Software公司推出LINT系列产品之一,运行于PC平台,是对C和C++源程序进行错误检查的软件包。它的基本工作原理是进行源代码分析,值跟踪,类型检查,并进行比一般的C/C++编译器更深入的语义分析工作,从而规避可能的软件缺陷。从本质上说,LINT是一种功能单一的代码静态分析工具。

PCLINT不但可以检测单个文件,也可以从整个项目的角度来检测问题,因为C语言编译器固有的单个编译,这些问题在编译器环境下很难被检测,而PCLINT在检查当前文件的同时还会检查所有与之相关的文件,可想而知,它会对我们有很大的帮助。

PCLINT支持的编译器:Microsoft, GNU和其他流行编译器。

PCLINT支持平台:Windows XP / NT / 2000 / 98 / 95 / ME, DOS (built-in DOS extender) 。

许多国外的大型专业软件公司,都把LINT作为程序检查工具,在程序合入正式版本或交付测试之前一定要保证通过了LINT检查。他们要求软件工程师在使用LINT时要打开所有的编译开关,如果一定要关闭某些开关,那么要给出关闭这些开关的正当理由。同时LINT工具也是一些软件工程教科书中推荐使用的代码静态检查工具。

需要说明的是Lint所有的检查都是静态检查,无法发现程序的运行错误和逻辑错误。

你可能感兴趣的:(工具)