嵌入式开发中的防御性C语言编程

嵌入式开发中的防御性C语言编程

\\\插播一条：文章末尾有惊喜哟~///

嵌入式产品的可靠性自然与硬件密不可分，但在硬件确定、并且没有第三方测试的前提下，使用防御性编程思想写出的代码，往往具有更高的稳定性。

防御性编程首先须要认清C语言的种种缺少陷和陷阱，C语言对于运行时的检查十分弱小，须要程序员谨慎的考虑代码，在必要的时候增加判断；防御性编程的另一个核心思想是假设代码运行在并不可靠的硬件上，外接干扰有可能会打乱程序执行顺序、更改RAM存储数据等等。

1.具有形参的函数，需判断传递来的实参是否合法

程序员可能没意识的传递了错误参数；外界的强干扰可能将传递的参数修改掉，或者使用随机参数意外的调用函数，因此在执行函数主体前，须要先确定实参是否合法。

2.仔细检查函数的返回值

对函数返回的错误码，要进行全面仔细处理，必要时做错误记录。

3.防止指针越界

假如动态计算一个地址时，要保证被计算的地址是合理的并指向某个有意义的地方。特别对于指向一个构造或数组的内部的指针，当指针增加或者变更后依然指向同一个构造或数组。

4.防止数组越界

数组越界的问题前文已经讲述的很多了，由于C不会对数组进行有效的检测，因此必需在应用中显式的检测数组越界问题。下面的例子可用于中断接管通讯数据。

在使用一些库函数时，同样须要对边界进行检查，假如下面的memset(RecBuf,0,len)函数把RecBuf指指向的内存区的前len个字节用0填充，假如不注意len的长度，就会将数组RecBuf之外的内存区清零：

5.数学算数运算

5.1除法运算，只检测除数为零就可靠吗？

除法运算前，检查除数是否为零简直已经成为共识，但是仅检查除数是否为零就够了吗？

考虑两个整数相除，对于一个signed long类型变量，它能表示的数值范围为：-2147483648 ~+2147483647，假如让-2147483648/ -1，那么结果应该是+2147483648，但是这个结果已经超出了signedlong所能表示的范围了。所以，在这种情况下，除了要检测除数是否为零外，还要检测除法是否溢出。

<