PC-Lint静态代码检查工具.docVIP

TOC \o 1-3 \h \z \u 一 引言 1 二 PC-Lint介绍 2 三 PC-Lint的代码检查功能 3 3.1 强类型检查 5 3.2 变量值跟踪 9 3.2.1 变量值初始化跟踪 9 3.2.2 变量值跟踪 10 3.2.3 使用assert（断言） 13 3.2.4 函数内变量跟踪 14 3.3 赋值顺序检查 16 3.4 弱定义检查 17 3.5 格式检查 17 3.6 缩进检查 18 3.7 const变量检查 18 3.8 volatile变量检查 19 3.9强化越界检查 19 3.10强化内存泄漏检查 21 四 PC-Lint常见选项说明 22 4.1错误信息选项 22 4.2变量类型大小选项 23 4.3冗长信息选项 23 4.4标记选项 24 4.5消息显示选项 24 五 PC-Lint软件使用方法 25 5.1 PC-Lint配置 25 5.1.1 手工配置PC-Lint 25 5.1.2 使用Config工具配置PC-Lint 27 5.2 PC-Lint与常用开发工具的集成 37 5.2.1 使用命令行方式 37 5.2.2 PC-Lint与Visual C++集成