CWE-690: Unchecked Return Value to NULL Pointer Dereference（没有针对空指针间接引用而检查返回值）

ID: 690 类型: 复合 结构：链接

状态：草稿

描述

如果函数失败，则产品不会在调用可以返回空指针的函数后检查是否有错误，这将导致产生空指针取消引用。

链接组件

关系	类型	ID	名称
始于		252	未检查返回值
接着		476	空指针间接引用

扩展描述

函数经常返回NULL表明出现了错误，但未检查返回值弱点不局限于返回空指针的情形（参见CWE-252中的例子）。当这个错误条件没有被检查时，空指针间接引用可能会发生。

相关视图

与“研究层面”视图(CWE-1000)相关

引入模式

阶段	说明
实现	当应用程序包含对malloc（）调用的用户控制输入时，通常会出现这种弱点。相关代码在防止缓冲区溢出方面可能是正确的，但是如果提供了一个大的值，malloc（）将由于内存不足而失败。当解析例程期望某些元素总是存在时，也经常发生此问题。如果提供了格式错误的输入，分析器可能会返回空值。例如，strtok（）可以返回空值。

应用平台

语言

C (出现的可能性不确定)

C++ (出现的可能性不确定)

后果

范围	冲击	可能性
可利用性	技术冲击: DoS: 崩溃、退出或重启

示例

例1

下面的代码调用getUsername（）函数，但在取消引用之前不检查返回值（这可能导致NullPointerException）。

(问题代码)

Example Language: Java 

String username = getUserName();
if (username.equals(ADMIN_USER)) {

...

}

例2

此示例从用户获取IP地址，验证其格式是否正确，然后查找主机名并将其复制到缓冲区中。

(问题代码)

Example Language: C 

void host_lookup(char *user_supplied_addr){

struct hostent *hp;
in_addr_t *addr;
char hostname[64];
in_addr_t inet_addr(const char *cp);

/*routine that ensures user_supplied_addr is in the right format for conversion */

validate_addr_form(user_supplied_addr);
addr = inet_addr(user_supplied_addr);
hp = gethostbyaddr( addr, sizeof(struct in_addr), AF_INET);
strcpy(hostname, hp->h_name);

}

如果攻击者提供的地址格式似乎正确，但该地址无法解析为主机名，则对gethostbyaddr（）的调用将返回空值。由于代码没有检查gethostbyddr（cwe-252）的返回值，因此对strcpy（）的调用中将发生空指针取消引用（cwe-476）。

请注意，此示例还容易受到缓冲区溢出的攻击 (参见CWE-119).

种属

关系	类型	ID	名称
属于		851	The CERT Oracle Secure Coding Standard for Java (2011) Chapter 8 - Exceptional Behavior (ERR)
属于		876	CERT C++ Secure Coding Section 08 - Memory Management (MEM)
属于		1157	SEI CERT C Coding Standard - Guidelines 03. Expressions (EXP)