sinat_24735583的博客

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 不但能够对程式进行全局分析，识别没有被适当检验的数组下标，报告未被 初始化的变量，警告使用空指针连同冗余的代码，还能够有效地提出许多程序在空间利用、 运行效率上的改进点。