《缺陷周话》第5期：越界访问

前言

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

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

一、越界访问

越界访问简单的说就是预先申请了一块内存，但在使用这块内存的时候超出了申请的范围从而引发越界。例如当程序访问一个数组中的元素时，如果索引值超出数组的长度，就会访问数组之外的内存。C/C++ 没有对数组做边界检查，不检查下标是否越界可以提升程序运行的效率，但同时也把检查是否越界的任务交给了开发人员，因此开发人员在编写程序时，需要额外注意避免越界访问。

二、 越界访问的危害

越界访问是 C/C++ 语言中常见的缺陷，它并不一定会造成编译错误，导致的后果也不确定。当出现越界时，由于无法得知被访问空间存储的内容，所以会产生不确定的行为，可能是程序崩溃、运算结果非预期，也有可能没有影响。2018年1月至9月，CVE中越界访问9个相关漏洞中，有8个来自于开源项目FFmpeg，部分漏洞信息如下：

三、示例代码

本节示例代码源于 SamateJuliet Test Suite forC/C++v1.3（ https://samate.nist.gov/SARD/testsuite.php ），源文件名：CWE121_Stack_Based_Buffer_Overflow__CWE129_fgets_01.c。

3.1 缺陷代码

上述示例代码在第48行 对 data 的长度 进行了判断，但只判断了长度是否为负数，并没有对上限进行限制（边界检查不完整），当 data 的值大于 9 时，在第50行处 buffer[data] 的数组 下标越界。

使用360代码卫士对上述示例代码进行检测，可以检出“越界访问”缺陷，显示等级为高。如图1所示：

图1 越界访问检测示例

3.2 修复代码

在上述修复代码中，在第48行中对 data 的边界进行了完整的检查，因此避免传入第50行 buffer[data]时越界。

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

图2 修复后检测结果

四、如何避免越界访问

要避免越界访问，需要注意以下几点：

（1）进行有效的边界检查，确保操作在合法的范围之内。尤其当使用外部输入数据作为数据源进行内存相关操作时，应格外注意进行边界检查，污染数据是造成越界访问的重要原因之一。

（2）显式的指定数组边界，不仅可以使程序的可读性提高，同时，大多数的编译器在数组长度小于初始化值列表的长度时会给出警告，这些警告信息可以帮助开发人员尽早发现越界问题。

（3）在使用循环遍历数组元素时，注意防范 off-by-one（一个字节越界）的错误。

*本文作者：360代码卫士，转载请注明来自FreeBuf.COM