DBZ.CONST.CALL

零常量值被传递到函数并且可能作为除数使用

尝试在除法或模运算中使用零作为除数会导致运行时错误。错误处理或争用条件无效时，经常出现除以零的情况，并且通常会导致程序异常终止。在 C/C++ 代码中将值用作除法或模运算的除数之前，必须进行检查以确认值不为零。

DBZ 检查器会查找零常量值用作除法或模运算除数的实例。

DBZ.CONST.CALL 检查器会标记以下情况：零常量值直接传递到函数调用，并且可能在不进行零值检查的情况下用作除法或模运算的除数。

漏洞与风险

整数除以零通常会导致进程失败或异常。运算也可能成功，但会给出错误答案。浮点数除以零则更为微妙，具体取决于编译器的实施情况。如果编译器遵循 IEEE 浮点标准 (IEEE 754)，则浮点数除以零会得到明确的结果。然而，C 和 C++ 标准不会强制遵循 IEEE 754。因此，浮点数除以零在 C 和 C++ 中具有未定义的行为，可能导致进程失败或异常。

异常处理无效时，经常出现除以零的情况。为避免此漏洞，在将值用作除法或模运算的除数之前，检查该值是否为零。

漏洞代码示例

复制

1
2
3
4
5
6
7
8
9
10
11
12
13
  int compute_mean(int array[], size_t size)
  {
      int sum = 0;
      for (size_t i = 0; i < size; ++i) {
          sum += array[i];
      }
      return sum / size;
  }

 void use_mean()
 {     
     int mean = compute_mean(0, 0);
 }

Klocwork 在第 11 行生成问题报告，指出零常量值直接传递到函数 compute_mean 并在该函数中作为第 7 行中除法运算的除数。除以零会产生无法预料的意外结果。

修正代码示例

复制

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
  int compute_mean(int array[], size_t size)
  {
      if (size == 0) {
          return 0;   // or exceptional case.
      }

      int sum = 0;
      for (size_t i = 0; i < size; ++i) {
          sum += array[i];
     }    
     return sum / size;
 } 

 void use_mean()
 {
     int mean = compute_mean(0, 0);
 }