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

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

1、二次释放

二次释放简单理解就是对同一个指针指向的内存释放了两次，针对C语言源代码，对同一个指针进行两次 free() 操作，可能导致二次释放，本文3.1章节的缺陷代码就是对这类情况的描述。在C++语言中，浅拷贝操作不当是导致二次释放常见原因之一。如：调用一次赋值运算符或拷贝构造函数将会导致两个对象的数据成员指向相同的动态内存。此时引用计数机制变得非常重要，当引用计数不当时，一个对象超出作用域时，析构函数将会释放这两个对象共享的内存。另一个对象中对应的数据成员将会指向已经释放的内存地址，而当这个对象也超出作用域时，它的析构函数试图再次释放这块内存，导致二次释放问题。详细请参见CWE ID 415: Double Free。

2、 二次释放的危害

二次释放内存可能导致应用程序崩溃、拒绝服务攻击等问题，是 C/C++ 中常见的漏洞之一。2018年1月至11月，CVE中共有38条漏洞信息与其相关。部分漏洞如下：

3、示例代码

示例源于Samate Juliet Test Suite for C/C++ v1.3 (https://samate.nist.gov/SARD/testsuite.php)，源文件名：CWE415_Double_Free__malloc_free_char_17.c。

3.1缺陷代码

在上述示例代码中，在第32行使用  malloc() 进行内存分配，并在第36行使用 free() 对分配的内存进行了释放，在第38行 for 循环语句中，又对已经释放的内存 data 进行了一次释放，导致二次释放问题。

使用360代码卫士对上述示例代码进行检测，可以检出“二次释放”缺陷，显示等级为中。如图1所示：

图1：二次释放检测示例

3.2 修复代码

在上述修复代码中，Samate 给出的修复方式为： 在第32行使用 malloc() 进行内存分配，并在第36行处使用 free() 进行释放，释放后不在对该内存进行释放操作。

使用360代码卫士对修复后的代码进行检测，可以看到已不存在“二次释放”缺陷。如图2：

图2：修复后检测结果

4 、如何避免二次释放

要避免二次释放，需要注意以下几点：

（1）野指针是导致二次释放和释放后使用的重要原因之一，消除野指针的有效方式是在释放指针之后立即把它设置为 NULL 或者设置为指向另一个合法的对象。

（2）针对 C++ 浅拷贝导致的二次释放问题，始终执行深拷贝是不错的解决方案。

（3）使用源代码静态分析工具，可以自动化的发现程序中可能存在的二次释放问题。