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 | ||
属于 | 1157 | SEI CERT C Coding Standard - Guidelines 03. Expressions (EXP) |