官方公众号企业安全新浪微博
FreeBuf.COM网络安全行业门户，每日发布专业的安全资讯、技术剖析。
FreeBuf+小程序
奇安信代码卫士- 关注
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
代码审计是使用静态分析发现源代码中安全缺陷的方法，辅助开发或测试人员在软件上线前较为全面地了解安全问题,防患于未然，因此一直以来都是学术界和产业界研究的热点，并已成为安全开发生命周期 SDL 和 DevSecOps 等保障体系的重要技术手段。
奇安信代码卫士团队基于自主研发的国内首款源代码安全检测商用工具，以及十余年漏洞技术研究的积累，推出“缺陷周话”系列栏目。每周针对 CWE、OWASP 等标准中的一类缺陷，结合实例和工具使用进行详细介绍，旨在为广大开发和安全人员提供代码审计的基础性标准化教程。
1、未使用的局部变量
在代码段中声明了一个局部变量，但是该局部变量从未被使用，就会产生“未使用的局部变量”错误。详细请参见CWE-563: Assignment to Variable without Use。
2、未使用的局部变量的危害
未使用的局部变量通常不会导致严重的安全问题，造成未使用的局部变量的原因很可能是一个编码错误。
3、示例代码
本节示例代码源于Samate Juliet Test Suite for C/C++ v1.3 (https://samate.nist.gov/SARD/testsuite.php)，源文件名：CWE563_Unused_Variable__unused_init_variable_char_33.cpp。
3.1 缺陷代码
在上述示例代码中，第33行声明了一个局部变量 data，但是直到38行函数结束从未被使用，因此存在“未使用的局部变量”问题。
使用代码卫士对上述示例代码进行检测，可以检出“未使用的局部变量”缺陷，显示等级为中。如图1所示：
图1：未使用的局部变量检测示例
3.2 修复代码
在上述修复代码中，Samate给出的修复方式为：在第36行对变量data进行使用，从而避免了未使用的局部变量。这是一种处理方式，根据实际代码逻辑与功能，也可以删除未使用的局部变量。
使用代码卫士对修复后的代码进行检测，可以看到已不存在“未使用的局部变量”缺陷。如图2：
图2：修复后检测结果
4、如何避免未使用的局部变量
审查代码逻辑，确认未使用的局部变量的实际用途，从而添加对应代码，或移除未使用的局部变量。
推荐阅读
【缺陷周话】第44期：Spring Boot 配置错误：不安全的 Actuator
【缺陷周话】第 24期：在scanf 函数中没有对 %s 格式符进行宽度限制
如需授权、对文章有疑问或需删除稿件，请联系 FreeBuf 客服小蜜蜂（微信：freebee1024）
奇安信代码卫士
代码审计
- 275 文章数
- 257 关注者