本文简单基于树莓派8，linux4.4.50版本，32位arm cpu
尝试了解函数调用栈的内存分布的形态。使用gcc内置的宏 __builtin_frame_address 来打印栈帧内存上的信息，以及了解一下常用的gcc 内置的宏的输出。
针对 __builtin_frame_address 在gcc官网上可以看到更多的说明：
https://gcc.gnu.org/onlinedocs/gcc/extensions-to-the-c-language-family/getting-the-return-or-frame-address-of-a-function.html
1 预定义宏的输出
#include <stdio.h>
int call_func1(){
printf("\n %s \n",__func__);
printf("__func__ %s\n",__func__);
printf("__LINE__ %d\n",__LINE__);
printf("__FILE__ %s\n",__FILE__);
printf("__DATE__ %s\n",__DATE__);
printf("__time__ %s\n",__TIME__);
printf("__func__ %s __builtin_frame_address %p\n",__func__,__builtin_frame_address(0));
printf("__func__ %s,__builtin_return_address %p\n",__func__,__builtin_return_address(0));
}
int main(){
call_func1();
return 0;
}
上述源文件的输出如下：
call_func1
__func__ call_func1 //函数名
__LINE__ 51 //行号
__FILE__ main.c //源文件名
__DATE__ Nov 27 2022 //编译日期
__time__ 17:58:17 //编译时间
__func__ call_func1 __builtin_frame_address 0x7ec541a4
__func__ call_func1,__builtin_return_address 0x10794
__builtin_frame_address 表示函数的栈帧地址，__builtin_return_address表示函数的返回地址。
2 栈帧的内存打印
以如下形式的程序调用为例
#include <stdio.h>
int call_func2(int parm, int parm2){
int i = 10;
int j = 0;
void * offset = NULL;
printf("\n %s \n",__func__);
/*打印从函数的栈帧开始 10个cpu地址(32位)的地址和值*/
for (j = 0 ; j < i; j++){
offset = __builtin_frame_address(0)- j*sizeof(int*);
printf("__builtin_frame_address %p value [%x]\n",offset,*(int*)offset);
}
/*打印函数的返回地址 ，3个变量的地址，两个入参的地址*/
printf("__builtin_return_address %p\n",__builtin_return_address(0));
printf("first variable i %p\n",&i);
printf("second variable j %p\n",&j);
printf("third variable j %p\n",&offset);
printf("first parm parm %p\n",&parm);
printf("second parm parm %p\n",&parm2);
return 0;
}
int call_func1(){
printf("__func__ %s __builtin_frame_address %p\n",__func__,__builtin_frame_address(0));
printf("__func__ %s,__builtin_return_address %p\n",__func__,__builtin_return_address(0));
call_func2();
return 0;
}
int main(){
call_func1();
return 0;
}
上述的程序的调用流程是 main->call_func1->call_func2 。其中call_func1打印了函数的栈帧地址和返回地址，call_func2先后打印了其以帧地址为开始之后10个4字节内存的地址和内容，然后打印了函数的返回地址 ，3个变量的内存地址，两个入参的内存地址
其输出结果如下：
__func__ call_func1 __builtin_frame_address 0x7e8041a4
__func__ call_func1,__builtin_return_address 0x10810
call_func2
__builtin_frame_address 0x7e985194 value [0x107cc]
__builtin_frame_address 0x7e985190 value [0x7e9851a4]
__builtin_frame_address 0x7e98518c value [0x10810]
__builtin_frame_address 0x7e985188 value [0x10a4c]
__builtin_frame_address 0x7e985184 value [0xa]
__builtin_frame_address 0x7e985180 value [0x5]
__builtin_frame_address 0x7e98517c value [0x7e98517c]
__builtin_frame_address 0x7e985178 value [0x76ffa000]
__builtin_frame_address 0x7e985174 value [0x4]
__builtin_frame_address 0x7e985170 value [0x1]
__builtin_return_address 0x107cc
first variable i 0x7e804184
second variable j 0x7e804180
third variable j 0x7e80417c
first parm parm 0x7e804174
second parm parm 0x7e804170
以内存地址的形式呈现，可以得到如下图：
栈帧的开始位置，其内容是是 0x107cc ,是函数的返回地址。即__builtin_return_address(0)，下一个32位的内容是0x7e8041a4 ,根据其返回函数的打印，是返回后函数的栈帧开始位置。可以印证 栈是向下增长的，返回地址的栈在更高的地址。再下一个32位的内容是，0x10810，是其返回函数的返回地址。
再接下来一个32位的内容为空，或是任意值，该值可能为预留，使用gdb也未寻找到符号位置。
接下来三个32位均为栈上的变量的地址，i j 和offset。
再下一个值的内容为随机，其含义也不明。该32位可能也为预留值。
接下来两个地址为函数调用的局部变量的地址，parm和parm2
如果有更多的入参调用，会发现预留给参数变量的栈帧大小大约是 4*32 ，如果超过该范围，就会预先先进行调用参数的内存分配，再执行函数的栈上内存分配。即地址会在0x7e985194 栈帧地址之前。
在这种情况下，如果形参进行了越界的修改，就会导致栈帧上的返回地址被破坏，导致出现崩溃。该点可后续继续实验。
