一、参数和局部变量的布局:
_cdecl调用约定,stdcall约定,函数参数入栈:(从右往左)(只有pascal是从左往右)
00401000:
push 6
push 5
call 00401010 ;add函数首地址
add esp ,8 ;平衡栈
xor eax,eax
retn
nop
add()函数代码
00401010:
mov eax,dword ptr [esp+8]
mov ecx,dword ptr [esp+4]
add eax,ecx
retn
优化处理:
enter:xxx,0(push ebp,mov ebp,esp,sub esp,xxx);创建空间放局部变量
leave:(add esp,xxx,pop ebp);恢复现场
ret 8(参数个数乘4h)
ebp寻址找参数,在ebp处进行,ebp+8h(第一个参数),ebp+Ch(第二个参数)
esp寻址找参数,在retn处进行,esp+4h(第一个参数),esp+8h(第二个参数)
32位的情况下:栈传递参数
64位的情况下:rdi,rsi,rdx,rcx,r8,r9寄存器用完,再栈传递参数
参数的调用偏移是正的,局部变量的调用偏移是负的
(push reg = sub esp,4)(pop reg = add esp,4)
实践下手撕汇编:
二、全局变量的布局:
一般放在内存区域中(通常是.data,具有可读写的权限):
mov eax,dword ptr [4084C0h];直接调用全局变量,其中4084C0h是全局变量的地址
三、数组的布局:
mov eax,[407040h+eax](基址+偏移量)
四、控制语句:
test指令,cmp指令,有时会有dec指令(自减):
转移指令一览:一般用于条件判断时和循环时
call:调用
jmp:无条件跳转
jo:溢出跳转(OF=1),对应于jno
jb:低于/进位跳转(CF=1),对应jnb(bottom)
ja:高于跳转,对应jna(tall)
jbe:低于等于跳转
jae:高于等于跳转
je/jz:相等跳转(ZF=1),对应jne/jnz
js:符号为负跳转(SF=1),对应jns
jl:小于跳转,对应jnl(low)
jle:小于等于跳转
jg:大于跳转,对应jng(big,great,large)
jge:大于等于跳转
nop:不跳转,空指针
在Maximize Speed优化下:lea相当于一条算数指令
汇编除法优化:转成乘法运算,右移多少位,就是除以2的多少次方,数学公式表示:
x/2^n = x>>n(x>=0),x/2^n = (x+(2^n-1))>>n(x<0)
有符号位移位运算:sar
无符号位移位运算:shr
C字符串:\0作为结束标志
mov eax,[401000h];直接寻址,传的是地址里面的数据
mov eax,[ecx];寄存器间接寻址,传的是寄存器中存的地址里面的数据
lea eax,[401000h];将值401000h写入eax寄存器
x64:类似于32位,稍有不同~等待更新
一般来说都有main,没有时可能是/MT模式,此时找call cs:exit,该处上面的call 就是main函数
x64的exe文件是利用RCX,RDX,R8,R9先进行传参,不够再调用栈来存。
rdi演化成了rbp。