Question

我正试图反汇编一个文件，其中一部分包含此文件。这是在做什么在C语言中会是什么样？

我相信它会将40复制到ebp-8，并将20复制到ebp-4。然后，它调用func：函数。通过将edx加到eax上，然后从中减去4来执行一些命令。退出func：函数后，它将esp加8。我在正确的轨道上吗？

func:
push ebp
mov ebp, esp
mov edx, DWORD PTR [ebp+8]
mov eax, DWORD PTR [ebp+12]
add eax, edx
sub eax, 4
pop ebp
ret
main:
push ebp
mov ebp, esp
sub esp, 16
mov DWORD PTR [ebp-8], 40
mov DWORD PTR [ebp-4], 20
push DWORD PTR [ebp-4]
push DWORD PTR [ebp-8]
call func
add esp, 8
leave
ret

编辑：那么您是否同意C的结果如下？

#include <stdint.h>
#include <stdlib.h>
#include <stdio.h>

int func(int d, int e)
{
    int sum = d + e;
    int result = sum - 4;
    return result;
}

int main(void)
{
    int a = 40;
    int b = 20;
    int c = func(a,b);
    printf("Result is: %d\n", c);
}

Answer 1

分解后，代码如下：

func:
; enter 0, 0
push ebp
mov ebp, esp
; entered func with no local variables

; get first param in edx
mov edx, DWORD PTR [ebp+8]
; get second param in eax
mov eax, DWORD PTR [ebp+12]

add eax, edx    ; eax += edx
sub eax, 4      ; eax -= 4

; to avoid segfault, you should first `mov esp, ebp` 
; but works here, since ESP was not changed, so getting back ESP's old value is not required
pop ebp
ret

main:
; enter 16, 0
push ebp
mov ebp, esp
sub esp, 16    ; adds 4 elements on the stack
; entered main with 4 local variables on stack

; writing on 2 local variables
mov DWORD PTR [ebp-8], 40
mov DWORD PTR [ebp-4], 20

; push 2 params on the stack and call `func`
push DWORD PTR [ebp-4]    ; second param
push DWORD PTR [ebp-8]    ; first param
call func                 ; calls `func(first, second)`, returns EAX = 56

; delete 2 elements off the stack
add esp, 8

; leave entered function (get back ESP from before entering)
leave

; return to caller
ret

我认为采用注释中的解释（用;标记），应该使您自己轻松地将其转换为C代码很容易。

编辑：正如Peter Cordes所指出的那样，Assembly不知道任何数据类型，例如int或long int。在x86汇编中，使用通用寄存器，并使用C约定，在EAX中返回任何32位值，而在EDX:EAX中返回64位值，这意味着EDX的内容将是高32位。

但是，如果main标签是C语言中经典的int main()函数和程序的入口点，我们可以假设func看起来也像int func(int p1, int p2)在C语言中，我相信，因为从未使用过返回的EDX，并且int main()函数似乎以return 56;结尾，其中EAX中有56个。

该汇编代码有什么作用，C代码是什么样的？

1 个答案: