查看原文
其他

【缺陷周话】第 29 期:返回栈地址

360代码卫士 代码卫士 2022-04-06

 聚焦源代码安全,网罗国内外最新资讯!


*声明:《缺陷周话》栏目系列文章由360代码卫士团队原创出品。未经许可,禁止转载。

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

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

缺陷周话 • 第29期

返回栈地址         



1、返回栈地址

C/C++程序占用的内存分为以下几个部分:程序代码区、静态数据区、堆区、栈区,其中局部变量、函数参数等存放在栈区。栈区存储的变量由编译器自动分配和释放,当函数返回了指向该变量的指针,实际是返回了一个栈的地址,该地址在函数调用完成后即会失效,因此在编写代码时,应避免返回栈地址问题。详细请参见:CWE-562: Return of Stack Variable Address。

2、 返回栈地址的危害

返回栈地址通常会导致程序运行出错,原因是函数指向的地址中的内容随着函数生命周期结束而被释放了,此时指针指向的内容是不可预料的,对返回的栈地址进行访问会导致未定义的行为,甚至可能造成程序崩溃。


3、示例代码

示例源于Samate Juliet Test Suite for C/C++ v1.3 (https://samate.nist.gov/SARD/testsuite.php),源文件名:CWE562_Return_of_Stack_Variable_Address__return_buf_01.c。


3.1缺陷代码

在上述示例代码中,在第14行声明和初始化了一个字符数组,并在17行使用 return charString; 进行返回,此时返回的是栈地址。因此该示例存在“返回栈地址”问题。

使用360代码卫士对上述示例代码进行检测,可以检出“返回栈地址”缺陷,显示等级为高。如图1所示:

图1:返回栈地址的检测示例


3.2 修复代码

在上述修复代码中,Samate 给出的修复方式为: 在第14行将字符数组定义为 static,当 static 用来修饰局部变量的时候,它就改变了局部变量的存储位置,从原来的栈中存放改为静态存储区,因此在第21行 return charString; 时,避免了返回栈地址。同时 Samate 样本也指出这并不是一个完全的顺应性例子,需要根据实际场景来针对性修复。

使用360代码卫士对修复后的代码进行检测,可以看到已不存在“返回栈地址”缺陷。如图2:

图2:修复后检测结果


4、如何避免返回栈地址

(1)注意指针指向的内存,避免返回栈地址。

(2)使用源代码静态分析工具,可以有效发现这类问题。





关联阅读

【缺陷周话】第 28 期:被污染的内存分配

【缺陷周话】第 27 期:不安全的随机数

【缺陷周话】第 26期:被污染的格式化字符串

【缺陷周话】第 25期:硬编码密码

【缺陷周话】第 24期:在scanf 函数中没有对 %s 格式符进行宽度限制

【缺陷周话】第 23期:双重检查锁定

【缺陷周话】第 22期:错误的内存释放对象

【缺陷周话】第 21 期:数据库访问控制

【缺陷周话】第 20 期:无符号整数回绕

【缺陷周话】第19期:LDAP 注入

【缺陷周话】第18 期  XPath 注入

【缺陷周话】第17 期:有符号整数溢出

【缺陷周话】第 16 期 — 资源未释放:流

【缺陷周话】第 15 期 — 资源未释放:文件

【缺陷周话】第 14 期 :HTTP 响应截断

【缺陷周话】第 13期 :二次释放

【缺陷周话】第 12期 :存储型 XSS

【缺陷周话】第 11期 :释放后使用

【缺陷周话】第 10 期 :反射型 XSS

【缺陷周话】第 9 期 :缓冲区下溢

【缺陷周话】第 8 期 :路径遍历

【缺陷周话】第 7 期 :缓冲区上溢

【缺陷周话】第 6 期 :命令注入

【缺陷周话】第5期 :越界访问

【缺陷周话】第4期 :XML 外部实体注入

【缺陷周话】第3期 :内存泄漏

【缺陷周话】第 2 期 :SQL 注入

【缺陷周话】第1期 :空指针解引用


*360代码卫士团队原创出品。未经许可,禁止转载。转载请注明 “转自360代码卫士www.codesafe.cn”。



360代码卫士 (codesafe)

国内首个专注于软件开发安全的产品线。




您可能也对以下帖子感兴趣

文章有问题?点此查看未经处理的缓存