官方公众号企业安全新浪微博
FreeBuf.COM网络安全行业门户，每日发布专业的安全资讯、技术剖析。
FreeBuf+小程序
- 关注
代码审计是使用静态分析发现源代码中安全缺陷的方法，辅助开发或测试人员在软件上线前较为全面地了解安全问题,防患于未然，因此一直以来都是学术界和产业界研究的热点，并已成为安全开发生命周期 SDL 和 DevSecOps 等保障体系的重要技术手段。
奇安信代码卫士团队基于自主研发的国内首款源代码安全检测商用工具，以及十余年漏洞技术研究的积累，推出“缺陷周话”系列栏目。每周针对 CWE、OWASP 等标准中的一类缺陷，结合实例和工具使用进行详细介绍，旨在为广大开发和安全人员提供代码审计的基础性标准化教程。
1、忽略返回值
一些函数具有返回值且返回值用于判断函数执行的行为，如判断函数是否执行成功，因此需要对函数的返回值进行相应的判断，以 fgets() 函数为例，其原型为：
char *fgets(char *buf, int bufsize, FILE *stream);
如果函数执行成功，则返回第一个参数 buf；如果发生错误，则返回 NULL，如果没有对函数返回值进行检测，那么当读取发生错误时，则可能因为忽略异常和错误情况导致允许攻击者引入意料之外的行为。
详细请参见：CWE-252: Unchecked Return Value。
2、忽略返回值的危害
忽略函数返回值会导致未定义的行为，包括信息泄露、拒绝服务、甚至程序崩溃等。
CVE中也有一些与之相关的漏洞信息，从2018年1月至2019年6月，CVE中就有34条相关漏洞信息。漏洞信息如下：
| CVE 编号 | 概述 |
|---|---|
| CVE-2019-12107 | MiniUPnP MiniUPnPd 2.1版本中的 upnpevents.c 文件中的upnpeventprepare 函数由于没有对 snprintf() 函数的返回值进行恰当的验证，导致信息泄露。 |
| CVE-2019-9704 | Vixie Cron 3.0pl1-133 之前版本中存在输入验证漏洞，该漏洞源于程序未检查 ‘calloc’ 函数的返回值。本地攻击者可借助较大的 crontab 文件利用该漏洞造成拒绝服务（程序崩溃）。 |
| CVE-2018-20216 | QEMU 中的 hw/rdma/vmw/pvrdmadevring.c 文件存在安全漏洞，该漏洞源于程序没有检查返回值。攻击者可利用该漏洞造成拒绝服务（无限循环）。 |
| CVE-2018-16643 | ImageMagick 7.0.8-4 版本中的 coders/dcm.c、coders/pwp.c、coders/cals.c和coders/pict.c 文件存在安全漏洞，该漏洞源于程序没有检查 ‘fputc’ 函数的返回值。远程攻击者可借助特制的图像文件利用该漏洞造成拒绝服务。 |
3、示例代码
示例源于SamateJuliet Test Suite for C/C++ v1.3 (https://samate.nist.gov/SARD/testsuite.php)，源文件名：CWE252_Unchecked_Return_Value__char_fgets_01.c。
3.1 缺陷代码
在上述示例代码中，第33行使用 fgets() 函数从标准输入流中读取数据，但没有对 fgets() 的返回值进行检测，因此存在“忽略返回值”问题。
使用代码卫士对上述示例代码进行检测，可以检出“忽略返回值”缺陷，显示等级为中。如图1所示：
图1：忽略返回值检测示例
3.2 修复代码
在上述修复代码中，Samate给出的修复方式为： 在第33行对 fgets() 函数的返回值是否为NULL 进行了判断，当返回值为 NULL 时程序终止，从而避免了“忽略返回值”问题。
使用代码卫士对修复后的代码进行检测，可以看到已不存在“忽略返回值”缺陷。如图2：
图2：修复后检测结果
4、如何避免忽略返回值
（1）对函数返回值进行恰当的判断，避免当函数执行异常后可能带来的风险。
（2）使用源代码静态分析工具，可以有效发现这类问题。
推荐阅读
【缺陷周话】第 24期：在scanf 函数中没有对 %s 格式符进行宽度限制
*奇安信代码卫士团队原创出品。未经许可，禁止转载。转载请注明“转自奇安信代码卫士 www.codesafe.cn”。
- 0 文章数
- 0 关注者