官方公众号企业安全新浪微博
FreeBuf.COM网络安全行业门户，每日发布专业的安全资讯、技术剖析。
FreeBuf+小程序
奇安信代码卫士- 关注
代码审计是使用静态分析发现源代码中安全缺陷的方法，辅助开发或测试人员在软件上线前较为全面地了解安全问题,防患于未然，因此一直以来都是学术界和产业界研究的热点，并已成为安全开发生命周期 SDL 和 DevSecOps 等保障体系的重要技术手段。
奇安信代码卫士团队基于自主研发的国内首款源代码安全检测商用工具，以及十余年漏洞技术研究的积累，推出“缺陷周话”系列栏目。每周针对 CWE、OWASP 等标准中的一类缺陷，结合实例和工具使用进行详细介绍，旨在为广大开发和安全人员提供代码审计的基础性标准化教程。
1、错误的内存释放方法
C语言中常见的内存申请函数包括malloc()、 realloc()、 calloc()，它们虽然功能不同，但都对应同一个内存释放函数 free()，C++中对内存的申请和释放采用new/delete、new []/delete[] 方式。不管是 C 语言还是 C++ 语言，当编写源代码时要根据内存申请的方法不同来对应地选择内存释放方法，避免使用错误的内存释放。例如：混合使用C/C++的内存申请/释放，或混合使用标量和矢量的内存申请/释放。
详细请参见 CWE-762：Mismatched_Memory_Management_Routines。
2、 错误的内存释放方法的危害
使用错误的内存释放方法，将会导致非预期的程序行为，甚至可能导致程序崩溃。在《effective C++（第二版）》条目5“对应的 new 和 delete 要采用相同形式”中指出：“如果错误地释放对象中的元素，可能造成整个对象、甚至整个堆上的内存结构都发生损坏，从而发生内存泄漏，甚至导致程序崩溃”。
CVE中也有一些与之相关的漏洞信息，从2018年1月至2019年4月，CVE中就有3条相关漏洞信息。漏洞信息如下：
| CVE | 漏洞概况 |
|---|---|
| CVE-2018-14948 | dilawar sound2017-11-27 及之前版本中的 wav-file.cc文件存在错误的内存释放方法漏洞 (new[]/delete)。 |
| CVE-2018-14947 | PDF2JSON 0.69 版本中的 XmlFonts.cc 文件的‘XmlFontAccu::CSStyle’函数存在错误的内存释放漏洞（new[]/delete）。 |
| CVE-2018-14946 | PDF2JSON 0.69 版本中的 ImgOutputDev.cc 文件的 HtmlString 类存在错误的内存方法漏洞 (malloc/delete)。 |
3、示例代码
示例源于 Samate Juliet Test Suite for C/C++ v1.3 (https://samate.nist.gov/SARD/testsuite.php)，源文件名：CWE762_Mismatched_Memory_Management_Routines__new_array_delete_char_01.cpp。
3.1缺陷代码
在上述示例代码中，第31行使用 new[] 创建对象数组，在第34行使用 delete 进行释放，由于在释放对象数组时，没有使用 new[] 对应的 delete[]，因此存在“错误的内存释放方法”问题。
使用代码卫士对上述示例代码进行检测，可以检出“错误的内存释放方法”缺陷，显示等级为中。如图1所示：
图1：错误的内存释放方法的检测示例
3.2 修复代码
在上述修复代码中，Samate 给出的修复方式为：在第31行通过 new[] 创建对象数组，并在第33行使用 delete[] 进行释放。从而避免了错误的内存释放方法。
使用代码卫士对修复后的代码进行检测，可以看到已不存在“错误的内存释放方法”缺陷。如图2：
图2：修复后检测结果
4、 如何避免错误的内存释放方法
要避免错误的内存释放方法，需要注意以下几点：
（1）在进行内存释放时，明确内存申请使用的方法，避免由于程序结构复杂、人员疏忽而导致使用了错误的释放方法。
（2）使用源代码静态分析工具，可以有效对该类问题进行检测。
推荐阅读
推荐阅读
【缺陷周话】第 24期：在scanf 函数中没有对 %s 格式符进行宽度限制
扫一扫，了解更多
如需授权、对文章有疑问或需删除稿件，请联系 FreeBuf 客服小蜜蜂（微信：freebee1024）
奇安信代码卫士
代码审计
- 275 文章数
- 257 关注者