一个变量越界导致破坏堆栈的bug_越界导致栈帧错误-优快云博客

本文链接：https://blog.youkuaiyun.com/yigeshouyiren/article/details/18765863

博客讲述了作者在商用系统中遇到的一个由于局部变量越界导致的堆栈破坏问题，该问题引发了系统core dump。通过分享简化代码，作者旨在为其他开发者提供参考和警示。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

前一段时间在商用系统上出现了core dump，原因是由于一个局部变量写越界导致堆栈被破坏了。在这里，我把这个bug分享一下，希望给需要的朋友一点帮助。简化的代码如下：

typedef struct
{
	......
} A;

void func1(char *p)
{
	......
}

void main(void)
{
	A a;
	A *p = &a;
	char b[10];
	
	......
	/* 
	 * 这个程序运行在SPARC处理器上, 而SPARC处理器的堆栈生长
	 * 方向是从高地址向低地址生长的.
	 * 这个函数里会把b这个数组写越界，导致p这个变量被破坏, 
	 * 结果在下面访问p时，是一个无效的值，导致core dump.
	 */
	func1(b);
	printf("%p\n", p);
	......
	
	return;
}

通过分析这个bug，分享一下我的心得体会：
（1）SPARC处理器是当年SUN公司开发的一款RISC处理器，如果有朋友从事Solaris软件开发，应该还是会接触到的。我一直觉得作为底层软件工程师，还是应该对处理器结构（包括汇编语言）有尽可能多的了解，这样对我们分析和解决问题都会有很大帮助。比方说，在分析这个bug时，如果知道SPARC处理器的堆栈生长方向是从高地址向低地址生长的，就会让我们把注意力集中在变量定义在p后面的变量上，这样就有