静态代码检查工具PC-Lint(二)

输入您的搜索字词 提交搜索表单

3.5 格式检查

    PC-Lint会检查printf和scanf(及其家族)中的格式冲突，例如：
printf( "%+c", ... )
将产生566告警，因为加号只在数字转换时有用，有超过一百个这样的组合会产生告警，编译器通常不标记这些矛盾，其他的告警还有对坏的格式的抱怨，它们是557和567。我们遵循ANSI C建立的规则，可能更重要的是我们还对大小不正确的格式进行标记（包括告警558, 559, 560 和 561）。比如 %d 格式，允许使用int和unsigned int，但是不支持double和long（如果long比int长），同样，scanf需要参数指向的对象大小正确。如果只是参数的类型（不是大小）与格式不一致，那将产生626和627告警。-printf 和 -scanf选项允许用户指定与printf或scanf函数族类似的函数，-printf_code 和 -scanf_code也可以被用来描述非标准的 % 码。

3.6 缩进检查

    根据代码中的缩进问题，PC-Lint也会产生相应的告警，因为缩进的问题有很大一部分是由于代码结构不良或者大括号的遗漏造成的。比如下面的例子：
if( ... )
if( ... )
statement
else statement
很明显这里的else是和第一个if语句对应的，而在这里编译器则把它和第二个if对应起来。PC-Lint会对这种情况产生告警。和这样的缩进检查相关的告警主要有三个725(no positive indentation)、525(negatively indented from)、539（Did not expect positive indentation from Location）要进行缩进检查，我们首先要设置文件中的tab键所对应的空格数，默认的是占用8个空格，这个参数可以用-t#选项进行修改。比如-t4表示tab键占用4个空格长度。另外，缩进检查还和代码的编码格式策略相关，需要进行必要的调整。

3.7 const变量检查

    对于const变量的检查，PC-Lint是完全支持的。使用const变量，对于提高代码的质量非常有好处，看一下下面的例子：
char *strcpy( char *, const char * );
const char c = 'a';
const char *p = &c;
void main()
{
char buf[100];
c = 'b';
*p = 'c';
strcpy( p, buf );
...
这里的c和*P指向的内容都是静态变量，不可修改。上面的代码明显违反了这个规定，会产生Error(11)，另外，把P作为第一个参数传入strcpy中，会产生告警605（Increase in pointer capability），而把buf作为第二个参数传入strcpy函数中，会产生告警603（Symbol 'Symbol' (Location) not initialized），因为buf没有初始化，而作为静态变量的第二个参数，是不能在strcpy函数中再被初始化的。

3.8 volatile变量检查

    对于volatile变量的检查，在PC-Lint中有这样的规定，如果一个表达式中同时使用了两次相同的volatile变量，那么就会给出564告警，因为这时候会产生赋值顺序的问题。
volatile char *p;
volatile char f();
n = (f() << 8) | f(); /* Warning 564 */
n = (*p << 8) | *p; /* Warning 564 */

四 PC-Lint软件使用方法

4.1 安装与配置

    PC-lint软件性价比高，易于学习，容易推广和固化到软件开发测试流程中去，所以在全世界得到了广泛的应用。PC-lint使用方法很简单，可以用命令行方式进行，例如lint-nt –u std.lnt test1.c test2.c test3.c 也可以使用MAKEFILE的方式。此外，它还可以集成到很多开发环境或常用的代码编辑软件中，比如集成到Source Insight/SLICKEDIT/MS VC6.0/KEIL C..等。PC-Lint还支持Scott Meyes的名著（Effective C++/More Effective C++）中说描述的各种提高效率和防止错误的方法。
    PC-lint的安装非常简单，以PC-lint 8.0为例，运行安装程序将其释放到指定的安装目录即可，比如c:/p