静态检查的基本概念

最新推荐文章于 2024-08-19 14:06:24 发布

Maggie

最新推荐文章于 2024-08-19 14:06:24 发布

阅读量1.4w

点赞数 2

文章标签： semantic 测试工具 function 编程 null

本文链接：https://blog.csdn.net/ooyyee11/article/details/2500377

版权

静态检查的基本概念

静态检查方法包括两种，一种是通过常规的人工代码检视来发现问题，另外一种是使用PC-Lint等工具软件进行代码静态检查。

常规的人工代码检视在第4章已经讲过，这种方法能发现少量的内存越界和资源泄漏问题，依赖于参与检视的人的技术水平和当时的精神状态。人工检视方法来进行内存越界和泄漏检查效率比较低，成本较高，虽然可能发现一些深层次的Bug，但覆盖率比较低，往往不如PC-Lint之类的软件检查有效。

可能现在还有读者怀疑使用静态检查工具来进行检查的必要性，那我们不妨看如下一段代码：

int main(int argc, char* argv[])

{

int b = 0x12345678;

char a[8];

a[sizeof(a)] = 0xff;

printf("b=0x%x/n", b);

return 0;

}

在给变量a赋值时，发生了数组越界存取，打印出来的b的值变成了0x123456ff，而不是原来的0x12345678（使用MS Visual C++进行编译）。这个错误使用BoundsChecker之类的工具是测试不出来的，不过使用PC-Lint这样的静态检查工具却很容易检查出来。

使用PC-Lint工具检查具有效率高、修改问题的成本低等优点，是一种很有效的方法。尽管PC-Lint能检测出部分栈越界、堆越界、资源泄漏等问题，而且在代码编译完后就可以使用PC-Lint进行检查，但仅仅使用这种方法来进行内存测试是远远不够的。

8.2.2 使用PC-Lint进行强化越界检查

在实际编程中，即便是标准函数也有很多是不够安全的，如C标准库中的许多函数（如strcpy()等）都不够安全。但由于历史原因，现在我们还在大量地使用这些不安全的函数库。特别是一些底层软件，仍然大量存在使用C标准库中不安全函数的情况。另外许多老的代码中都大量使用了C标准库中的不安全函数。那么面对这个问题，我们不禁要问——有没有办法来提高这些不安全函数的安全性呢？

所幸的是，PC-Lint软件中提供了-sem选项来强化函数参数的检查。关于-sem选项的具体使用方法在附录1中有介绍，详细的使用说明可以参阅PC-Lint自带的pc-lint.pdf说明文件。下面就通常实例来讲解如何使用这个选项检测不安全的函数的安全性。

C标准库中的strcpy(char *strDestination, const char *strSource)函数，如果strSource的长度超出了strDestination的空间大小，那么内存越界后程序将发生不可预测的行为，如果strSource指针为NULL也将发生异常。我们在PC-Lint的配置中加上以下选项：

-sem(strcpy, 1P >= 2P, 1p, 2p)

就可以检查strcpy函数，校验它的第1个参数的内存空间是否大于第2个参数的内存空间，并校验第1个参数和第2个参数是否为NULL。

又如memset函数，可以进行以下设置：

-sem(memset, 1P>= 3n, 1p)

这条设置会检查memset函数的第1个参数的空间大小是否大于等于第3个参数值，并校验第1个指针参数是否为空。

再比如itoa(int value, char *string, int radix )函数，当第2个参数的长度小于最大的整数长度时，就会有越界现象，可以用以下设置来进行检查。

-sem(itoa, 2P >= 12)

这条设置会检测第2个参数的内存空间大小是否大于等于12字节，在32位系统中，整数在十进制情况下的最大长度为10位，加上字符结尾符’/0’共11位，十进制下校验第2个参数的空间大于12字节已经够安全了。但是如果转换成二进制的话，整数将变成32位，加上尾字符’/0’就是33位，因此要足够安全的话，需要改成以下形式：

-sem(itoa, ((3n>=10)&&(2P >= 12)) || ((3n<10)&&(2P>32)), 2p)

这个设置的意思是检查当第3个整数参数的值大于等于10时，第2个指针参数的空间大小必须要大于12，当第3个整数参数的值小于10时，校验第2个指针参数的空间大小是否大于32，最后再校验第2个指针参数是否为空。可以测试一下这个设置是否有效，看一下以下代码：

void main(int argc, char* argv[])

{

int x = 100;

char msg[8];

char msg2[32];

(void)itoa(x, msg, 10);

(void)itoa(x, msg2, 2);

}

如果不使用以上设置的话，PC-Lint是没有警告出现的，使用了以上设置后再检查，就发现PC-Lint报出了以下警告信息：

Module: test.cpp