滴水逆向三期笔记与作业——02C语言——06 参数_返回值_局部变量_数组反汇编

OneNote防丢失。

一、函数返回值如何传递

1.1 char类型返回

代码：

c 复制代码

char fun(){
	//代码
	return 12;
}
int main(int argc, char* argv[]){
	char i = fun();
	return 0;
}

反汇编：

函数返回值，即return 12代码部分
在fun函数中，将返回值"12"存放在eax中（教程中32位的vc6++是存放在al位置）。
函数返回值赋值给main中的变量

将一个字节长度的12赋值给[rbp-0x1]的位置，在教程中32位的vc6++是将1字节长度存放在[ebp-4]的位置，即move byte ptr [ebp-4],al（ebp-4是main函数的缓冲区），同样是仅存储一个字节的长度，编译器的不同会导致程序在空间的利用程度上存在差异

1.2 short类型返回

代码：

c 复制代码

short fun(){
	//代码
	return 12;
}
int main(int argc, char* argv[]){
	short i = fun();
	return 0;
}

反汇编：

函数返回值

short为2字节长度，所以函数中将返回值12存储在eax中，但32位的vc6++中存储在ax中
函数返回值赋值给main中的变量
将2字节长度的12存储在[rbp-0x2]的位置，在教程中32位的vc6++是将2字节长度存放在[ebp-4]的位置，即move word ptr [ebp-4],ax

1.3 int类型返回

代码：

c 复制代码

int fun(){
	//代码
	return 12;
}
int main(int argc, char* argv[]){
	int i = fun();
	return 0;
}

}

反汇编：

函数返回值

int为4字节长度，所以函数中将返回值12存储在eax中，32位的vc6++中也存储在eax中

函数返回值赋值给main中的变量

将4字节长度的12存储在[rbp-0x4]的位置，在教程中32位的vc6++是将4字节长度存放在[ebp-4]的位置，即move dword ptr [ebp-4],ea

1.4 作业-long long类型（64位）返回值

代码

c 复制代码

__int64 fun(){
	//代码
	return 0x1234567890;
}
int main(int argc, char* argv[]){
	__int64 i = fun();
	return 0;
}

反汇编：

函数返回值

在64位的环境中，__int64类型的数据存放在rax寄存器中，在32位的环境中将结果放在eax和edx中
注：在 64 位代码中，movabs可用于对mov具有 64 位位移或立即数操作数的指令进行编码。
函数返回值赋值给main中的变量

64位环境中，将rax中的函数返回值存储在[rbp-0x8]的位置，使用的是qword，在32位环境中将eax（低位）存入[ebp-8]，将edx（高位）存入[ebp-4]

1.5 作业-char arr[3]={1,2,3}与char arr[4]={1,2,3,4}哪个更省空间，从反汇编角度说明，用char和short分别创建10个元素的数组，观察如何分配

1.5.1 char arr[3]={1,2,3}与char arr[4]={1,2,3,4}哪个更省空间，从反汇编角度说明

char arr[3]={1,2,3}

代码

c 复制代码

void Function(){
	char arr[3] = {1,2,3};
}
int main(int argc, char* argv[]){
	Function();
	return 0;
}

反汇编（64位的VScode）

以字节大小存储，分配了0x10大小的缓冲区；

char arr[4]={1,2,3,4}

代码

c 复制代码

void Function(){
	char arr[4] = {1,2,3,4};
}
int main(int argc, char* argv[]){
	 
	Function();
	 
	return 0;
}

反汇编（64位的VScode）

总结
同样以字节大小存储，分配了0x10大小的缓冲区；
VScode在空函数时不分配缓冲区，即nop之后直接ret返回，当arr数组长度为5时，依然分配0x10大小的缓冲区（而不是海哥视频里的0x40+4n大小的缓冲区），可见现在是优化过的，并不会浪费大量内存去提升效率。

1.5.2 用char和short分别创建10个元素的数组，观察如何分配

代码

c 复制代码

int main(int argc, char* argv[]){
 
	char arr0[10] = {1,2,3,4,5,6,7,8,9,10};
	short arr1[10] = {1,2,3,4,5,6,7,8,9,10};
	 
	return 0;
}

反汇编

char使用字节大小存储，short使用字大小存储（可见新版本还是优化了的，该是多大就是多大）。

1.6 作业-找出下面赋值过程的反汇编代码

1.6.1 作业部分

代码：

c 复制代码

void Function(){
	int x = 1;
	int y = 2;
	int r;
	int arr[10] = {1,2,3,4,5,6,7,8,9,10};
	r = arr[1];
	r = arr[x];
	r = arr[x+y];
	r = arr[x*2+y];
}

反汇编

数组寻址：值=取值（rbp/ebp + rax/eax * 数值宽度 - 数组首地址），其中rax/eax中存的是arr[n]中的n。

1.7 作业-选做桶排序

之前还在卷开发的时候都直接跳过的玩意，略过略过。

二、参数传递的本质

2.1 8位参数传递

代码：

汇编：

使用堆栈传递参数，并且使用4字节大小内存存储参数，从右往左入栈，并且外平栈，可见使用的调用约定是__cdecl。

2.2 16位参数传递

代码：

汇编：

2.3 32位参数传递

代码：
汇编：

2.4 总结：

在32位的系统中，参数传递始终按照4字节的大小入栈，所以定义char或者short类型的参数并不会节约空间，反而在char a = 1；Fun（1）；传递参数时会产生额外的操作去进行al或者ax的转换。
如果本机是32位的，那么及其对于32位的数据支持度最好，反之32位时，对于32位的支持度最好。所以整数类型的参数，全部使用int传递参数。
参数传递的本质是将上层函数的变量或者表达式的值复制一份再传递给下层函数。