代码审计是使用静态分析发现源代码中安全缺陷的方法，辅助开发或测试人员在软件上线前较为全面地了解安全问题,防患于未然，因此一直以来都是学术界和产业界研究的热点，并已成为安全开发生命周期 SDL 和 DevSecOps 等保障体系的重要技术手段。
奇安信代码卫士团队基于自主研发的国内首款源代码安全检测商用工具，以及十余年漏洞技术研究的积累，推出“缺陷周话”系列栏目。每周针对 CWE、OWASP 等标准中的一类缺陷，结合实例和工具使用进行详细介绍，旨在为广大开发和安全人员提供代码审计的基础性标准化教程。
1、返回值未初始化
在函数返回语句中，如果将未初始化变量返回，而函数的调用方对该返回值进行了使用，会因使用的变量未初始化，造成程序运行产生意料之外的行为。
详细请参见CWE-665: Improper Initialization
2、“返回值未初始化”的危害
返回值未初始化的危害取决于函数调用方对未初始化返回值的使用，通常会触发非预期的程序行为。
3、示例代码
示例源于toyota-itc-benchmarks-master (https://github.com/regehr/itc-benchmarks)，源文件名：uninit_var.c。
3.1 缺陷代码
在上述示例代码中，第71行声明 int 类型变量 ret，但没有进行初始化，第72行通过 if 语句进行条件判断，当条件成立的情况下，为 ret 赋值为1，在第74行通过return 语句返回。由于 if(0) 恒为 false，因此 ret 不会被赋值，当第74行返回时，返回值是未初始化的，存在“返回值未初始化”问题。
使用代码卫士对上述示例代码进行检测，可以检出“返回值未初始化”缺陷，显示等级为中。如图1所示：
图1：“返回值未初始化”检测示例
3.2 修复代码
在上述修复代码中，修改第72行的 if 语句条件，对 ret 进行赋值，当第74行进行返回时，此时 ret 已经被赋值，从而避免了返回值未初始化问题。
使用代码卫士对修复后的代码进行检测，可以看到已不存在“返回值未初始化”缺陷。如图2：
图2：修复后检测结果
4、如何避免“返回值未初始化”
（1）在进行变量声明时，应考虑对其进行初始化（或采用默认初始化的策略）。（2）使用源代码静态分析工具，可以有效检出源代码中的未初始化问题。
推荐阅读
【缺陷周话】第44期：Spring Boot 配置错误：不安全的 Actuator
【缺陷周话】第 24期：在scanf 函数中没有对 %s 格式符进行宽度限制
*奇安信代码卫士团队原创出品。未经许可，禁止转载。转载请注明“转自奇安信代码卫士 www.codesafe.cn”。
来源：freebuf.com 2019-10-16 11:40:51 by: 奇安信代码卫士
请登录后发表评论
注册