PC-Lint_中文指南

简介：
《PC-Lint中文指南》是一本详细介绍PC-Lint工具使用方法和技术细节的手册，旨在帮助开发者更好地理解和应用该静态代码分析工具，提升软件质量。 ### PC-lintFlexeLint知识点总结 #### 一、PC-lintFlexeLint概述 - **产品形式**：PC-lintFlexeLint 提供了两种不同的产品形式，以适应不同操作系统环境的需求。对于 Windows, MS-DOS 和 OS2 平台，提供二进制可执行文件；而在其他平台上，则是以 C 源代码的形式提供的 FlexeLint。 - **功能介绍**：这款工具主要用于检测C和C++程序中的潜在问题与错误，包括怪癖、异质性、失效以及隐藏的bug等。其目的是帮助开发者在集成阶段之前发现并解决这些问题。 - **标准遵循**：PC-lintFlexeLint 遵循K&R (Kernighan & Ritchie) 和 ANSI (American National Standards Institute) 标准对C语言进行检查，同时也依据ANSIISO委员会文档来检测 C++。此外，它还集成了许多 C99 的特性，但尚未完全支持整个标准。 - **内存需求**：PC-lintFlexeLint 需要的内存量与用户程序大小有关，特别和头文件数量密切相关。通常每2000行代码需要大约1MB的内存量。 #### 二、产品组件与兼容性 - **Windows 可执行文件**：专为 Windows 环境设计的32位控制台应用程序。 - **DOS 扩展可执行文件**：适用于 MS-DOS，使用80386 DOS扩展技术访问所有可用内存。 - **OS2 32位可执行文件**：仅在 OS2 平台上运行。 #### 三、FlexeLint 安装与使用 - **FlexeLint**：由 C 源代码构成，可以移植到任何系统上。安装指南可以在 FlexeLint 包含的《FlexeLint Installation Guide》文档中找到。 #### 四、PC-lintFlexeLint 工作原理 - **模块检查**：该工具能够分析单个或多个模块中的C和C++程序。 - **细致检查**：不仅进行语法审查，还能发现更隐蔽的问题，如变量未初始化及数据类型不匹配等。 - **示例分析**： ```c char* report(short m, short n, char* p) { int result; char* temp; long nm; int i, k, kk; char name[11] = JoeJakeson; nm = n * m; if (p == NULL) temp = NULL; else temp = p; for (i=0; i0) result=1; else if(kk<0) result=-1; return m == result ? temp : name; } ``` - **问题分析**： - 第8行：`name[11]` 应该以 `\0` 结束，防止覆盖null字符。 - 第10行：使用 `p != NULL` 来检查指针是否为空。 - 第 9 行及之后的代码中存在变量未初始化的问题（如 k、kk 和 result）。 - 返回自动变量temp地址可能导致后续问题。 #### 五、C++特性与挑战 - **C++ 的特性**：作为一种功能强大的编程语言，它允许创建复杂的数据结构和高级程序构造。 - **挑战**：虽然 C++ 功能强大，但也带来了新的困难。例如更复杂的类型系统以及对象管理等问题。PC-lintFlexeLint 则致力于帮助开发者更好地理解和处理这些挑战。 #### 六、与编译器的区别 - **编译器的功能**：现代的编译器已经具备了严格的类型检查和错误检测能力，但仍然难以发现所有类型的错误。 - **PC-lintFlexeLint 的作用**：相较于一般的编译器，它能够更深入地进行代码审查，并特别擅长于跨模块的问题以及不易察觉的逻辑问题。