freeBuf
主站

分类

漏洞 工具 极客 Web安全 系统安全 网络安全 无线安全 设备/客户端安全 数据安全 安全管理 企业安全 工控安全

特色

头条 人物志 活动 视频 观点 招聘 报告 资讯 区块链安全 标准与合规 容器安全 公开课

官方公众号企业安全新浪微博

FreeBuf.COM网络安全行业门户,每日发布专业的安全资讯、技术剖析。

FreeBuf+小程序

FreeBuf+小程序

    《缺陷周话》第5期:越界访问
    2018-10-25 08:30:24

    前言

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

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

    一、越界访问

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

    二、 越界访问的危害

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

    CVE-2018-1999015 FFmpeg commit 5aba5b89d0b1d73164d3b81764828bb8b20ff32a 之前版本中的 ASF_F 格式分离器存在数组越界读取漏洞,导致栈内存读取。
    CVE-2018-1999014     FFmpeg commit bab0716c7f4793ec42e05a5aa7e80d82a0dd4e75 之前版本中的 MXF 格式分离器存在数组越界访问漏洞。攻击者可利用该漏洞造成拒绝服务。
    CVE-2018-1999010 FFmpeg commit cced03dd667a5df6df8fd40d8de0bff477ee02e8 之前版本中的 mms 协议存在多个数组越界访问漏洞。攻击者可利用该漏洞造成拒绝服务。

    三、示例代码

    本节示例代码源于 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 越界访问检测示例

    图1 越界访问检测示例

    3.2 修复代码

    修复代码

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

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

    图2 修复后检测结果

    图2 修复后检测结果

    四、如何避免越界访问

    要避免越界访问,需要注意以下几点:

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

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

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

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

    # 缺陷周话 # 越界访问
    本文为 独立观点,未经允许不得转载,授权请联系FreeBuf客服小蜜蜂,微信:freebee2022
    被以下专辑收录,发现更多精彩内容
    + 收入我的专辑
    + 加入我的收藏
    相关推荐
    • 0 文章数
    • 0 关注者