【缺陷周话】第35期：除数为零

 

1、除数为零

C/C++有五个基本算数运算符：加法、减法、乘法、除法和取模。

• “+”运算符添加其操作数。
• “-”运算符从第一个运算符中减去第二个操作数。
• “*”运算符乘以其操作数。
• “/”运算符将其第一个操作数除以第二个。
• “%”运算符产生将第一个除以第二个的余数。

其中“/”运算的第二个操作数不能为0，当第二个操作数为0时，会导致除数为零错误。详细请参见CWE-369: Divide By Zero (3.2)。

 

3.1缺陷代码

在上述示例代码中，第28行使用 fscanf() 函数从标准输入流中读取数据并存放在 data 中，这个输入来自不可信源，值可能为0，当在30行进行“/”运算时，存在“除数为零”问题。

使用代码卫士对上述示例代码进行检测，可以检出“除数为零”缺陷，显示等级为高。如图1所示：

图1：除数为零的检测示例

3.2 修复代码

在上述修复代码中，Samate给出的修复方式为：在第31行通过 if() 语句对 data 是否为0进行判断，当 data 不为0时，进行“/”运算。从而避免了除数为零。

使用代码卫士对修复后的代码进行检测，可以看到已不存在“除数为零”缺陷。如图2：

图2：修复后检测结果

在进行除法运算时，需要对除数是否为0进行判断，尤其是当除数来自于不可信数据源、复杂运算、又或者是函数返回值时，需格外留意是否存在除数为零的错误。