PC-Lint在Keil中的安装配置与代码检查详解
5星 · 超过95%的资源 需积分: 50 156 浏览量
更新于2024-07-30
1
收藏 1.02MB DOC 举报 "本文主要介绍了如何在Keil环境中安装和配置PC-Lint工具，并详细阐述了PC-Lint的代码检查功能，包括强类型检查、变量值跟踪、赋值顺序检查、弱定义检查、格式检查、缩进检查以及const和volatile变量检查等。此外，文中还提到了安装和配置步骤，以及PC-Lint与Keil的集成方法。"
PC-Lint是一款强大的静态代码分析工具，用于检测C/C++代码中的潜在错误、不规范和风格问题。在Keil开发环境中使用PC-Lint，可以提升代码质量，预防运行时错误，并符合编码规范。
PC-Lint的代码检查功能包括：
1. **强类型检查**：确保变量被正确类型赋值，避免隐式类型转换导致的问题。
2. **变量值跟踪**：检查变量的初始化、使用情况，防止未初始化的变量和意外的值变化。
- **变量值初始化跟踪**：提醒开发者初始化所有变量，避免使用未定义的值。
- **变量值跟踪**：监测变量在函数调用过程中的值变化，确保其使用正确。
- **使用assert（断言）**：鼓励开发者使用assert进行边界条件检查，提高程序稳定性。
- **函数内变量跟踪**：检测局部变量的生命周期，防止超出作用域的访问。
3. **赋值顺序检查**：检查赋值操作的顺序，防止因依赖于特定的计算顺序而导致的错误。
4. **弱定义检查**：查找未完全定义或未使用的全局变量，减少不必要的内存占用。
5. **格式检查**：验证printf和scanf系列函数的格式字符串，防止格式匹配错误。
- PC-Lint会检查格式冲突、不正确的格式和大小不匹配的参数，提供告警以便修复。
6. **缩进检查**：识别代码缩进问题，以帮助保持良好的代码结构和避免逻辑错误。
- 缩进错误可能导致逻辑结构混乱，PC-Lint通过725、525等告警提示此类问题。
安装配置及使用PC-Lint涉及以下步骤：
- **安装**：下载并安装PC-Lint软件到本地计算机。
- **Keil配置**：在Keil的Project Options中添加PC-Lint的路径，设置必要的参数和选项。
- **集成**：可以使用命令行方式运行PC-Lint，也可以直接在Keil中集成PC-Lint，实现代码分析的自动化。
通过以上配置，开发者可以在编写代码的同时，实时获得PC-Lint的分析结果，提高代码质量和可维护性。同时，了解并处理PC-Lint产生的告警信息，能有效避免潜在的编程陷阱，使软件项目更加健壮和可靠。
else return 0; // Warning
}
例子代码中 Bool 被声明成强类型，如果没有指定 b 选项，第一个 return 语句中的比较操作就会被认为与
函 数类型不 匹 配 。 第 二个 return 语 句 导 致 告 警是因为 0 不是各 Bool 类 型 ，如果添 加 c 选 项 ， 例 如 -
strong(Acb,Bool)，这个告警就会被抑制。再看一个例子：
/*lint -strong( AJXl, STRING ) */
typedef char *STRING;
STRING s;
...
s = malloc(20);
strcpy( s, "abc" );
由于 malloc 和 strcpy 是库函数，将 malloc 的返回值赋给强类型变量 s 或将强类型变量 s 传递给 strcpy 时会产
生强类型冲突，不过 l 选项抑制了这个告警。
强类型也可用于位域，出于强类型检查的目的，先假定位域中最长的一个字段是优势 Boolean 类型，如果
没有优势 Boolean 或位域中没有哪个字段比其它字段长，这个类型从位域被切开的位置开始成为“散”类型，
例如：
//lint -strong( AJXb, Bool )
//lint -strong( AJX, BitField )
typedef int Bool;
typedef unsigned BitField;
struct foo
{
unsigned a:1, b:2;
BitField c:1, d:2, e:3;
} x;
void f()
{
x.a = (Bool) 1; // OK
x.b = (Bool) 0; // strong type violation
x.a = 0; // strong type violation
x.b = 2; // OK
x.c = x.a; // OK
118
x.e = 1; // strong type violation
x.e = x.d; // OK
}
上面例子中，成员 a 和 c 是强类型 Bool，成员 d 和 e 是 BitField 类型，b 不是强类型。为了避免将只有一位的
位域假设成 Boolean 类型，需要在声明 Boolean 的-strong 中使用 f 选项，上面的例子就应该改成这样：-
strong(AJXbf,Bool)。
另一个强类型检查选项是 index，index 的用法是：
-index( flags, ixtype, sitype [, sitype] ... )
这个选项是对 strong 选项的补充，它可以和 strong 选项一起使用。这个选项指定 ixtype 是一个排除索引类
型，它可以和 Strongly Indexed 类型 sitype 的数组（或指针）一起使用，ixtype 和 sitype 被假设是使用 typedef
软件及接口部
剩余29页未读，继续阅读
2017-10-17 上传
2023-07-08 上传
点击了解资源详情
点击了解资源详情
2017-10-20 上传
2017-09-25 上传
2019-08-17 上传
