《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 的作用**：相较于一般的编译器，它能够更深入地进行代码审查，并特别擅长于跨模块的问题以及不易察觉的逻辑问题。
5星
