【缺陷周话】第1期：空指针解引用

*声明:《缺陷周话》栏目系列文章由360代码卫士团队原创出品。未经许可，禁止转载。

代码审计是使用静态分析发现源代码中安全缺陷的方法，能够辅助开发或测试人员在软件上线前较为全面地了解其安全问题，防患于未然，因此一直以来都是学术界和产业界研究的热点，并且已经成为安全开发生命周期 SDL 和 DevSecOps 等保障体系的重要技术手段。

360代码卫士团队基于自主研发的国内首款源代码安全检测商用工具，以及十余年漏洞技术研究的积累，推出“缺陷周话”系列栏目。每周针对 CWE、OWASP 等标准中的一类缺陷，结合实例和工具使用进行详细介绍，旨在为广大开发和安全人员提供代码审计的基础性标准化教程。

1、空指针解引用

C语言空指针的值为NULL。一般NULL指针指向进程的最小地址，通常这个值为0。试图通过空指针对数据进行访问，会导致运行时错误。当程序试图解引用一个期望非空但是实际为空的指针时，会发生空指针解引用错误。对空指针的解引用会导致未定义的行为。在很多平台上，解引用空指针可能会导致程序异常终止或拒绝服务。如：在 Linux 系统中访问空指针会产生 Segmentation fault 的错误。详细请参见CWEID 476: NULL Pointer Dereference (http://cwe.mitre.org/data/definitions/476.html)。

2、空指针解引用的危害

空指针解引用是 C/C++ 程序中较为普遍的内存缺陷类型，当指针指向无效的内存地址并且对其引用时，有可能产生不可预见的错误，导致软件系统崩溃。空指针引用缺陷可能导致系统崩溃、拒绝服务等诸多严重后果。自2018年1月至9月，CVE 中共有100多条漏洞信息与其相关。其中包括18个Linux kernel 漏洞，部分漏洞如下：

CVE-2018-16517	Netwide Assembler 的 asm/labels.c 文件中存在空指针解引用，导致允许攻击者进行拒绝服务攻击。