NPD.FUNC.MIGHT

可能取消引用可能存在的空指针

尝试使用空指针访问数据将导致运行时错误。当程序取消引用某个预期为有效但结果为空值的指针，就会发生空指针取消引用。发生空指针取消引用缺陷通常是由于错误处理或争用情况无效，而且往往会导致程序异常中止。在 C/C++ 代码中对指针取消引用之前，必须对其进行检查以确认它不为空值。

NPD 检查器会查找那些对空指针或可能为空的指针进行取消引用的实例。

NPD.FUNC.MIGHT 检查器标记了那些来自可能返回空值的函数调用的指针值，之后可能被明确地取消引用或传递给某个不进行空值检查就对其取消引用的函数的情况。

漏洞与风险

空指针取消引用通常会导致进程失败。这些问题通常是因为无效的异常处理而发生的。

缓解与预防

要避免该漏洞：

对所有将返回值的函数进行空值检查
确保所有外部输入都经过验证
明确初始化变量
确保对不同寻常的异常进行正确处理

漏洞代码示例

复制

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
  void xstrcpy(char *dst, char *src){
    if (!src) return;
    dst[0] = src[0];
  }
  
  char global;
  
  char *xmalloc() {
    if (global) return &global;
   return 0;
 }
 
 void npd_func_might(int flag, char *arg) {
   char *p = &arg;
   if (flag) p = xmalloc(); // xmalloc() may return NULL
   if (arg) { p = arg; } // p may get a new value here
   xstrcpy(p, "Hello"); // p will be dereferenced in xstrcpy()
 }

根据第 9 行的条件语句，函数 xmalloc 可能向函数 npd_func_might 传递空指针，然后向 xstrcpy 传递空指针，并根据第 16 行的条件在此对其取消引用。该类型漏洞会产生无法预料的意外结果。

修正代码示例

复制

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
  void xstrcpy(char *dst, char *src){
    if (!src) return;
    if (!dst) return;
    dst[0] = src[0];
  }
  
  char global;
  
  char *xmalloc() {
    if (global) return &global;
   return 0;
 }
 
 void npd_func_might(int flag, char *arg) {
   char *p = &arg;
   if (flag) p = xmalloc(); // xmalloc() may return NULL
   if (arg) { p = arg; } // p may get a new value here
   xstrcpy(p, "Hello"); // p will be dereferenced in xstrcpy()
 }

在经修正的代码中，*dst 在第 3 行进行了空值检查，然后被取消引用。

外部指导

安全培训

应用程序安全培训材料由 Secure Code Warrior 提供。

Null 取消引用培训视频 - 用培训示例来检验您的技能

扩展

此检查器可通过 Klocwork 知识库进行扩展。有关详情，请参阅调整 C/C++ 分析。