c - 这个反汇编输出如何与函数源相关联？

Question

<分区>

Answer 1

看起来你没有完整的功能，但这里有一个细目:

这 3 条指令设置您的堆栈框架:

0x080486a8 <myFunction+0>:  push   %ebp
0x080486a9 <myFunction+1>:  mov    %esp,%ebp
0x080486ab <myFunction+3>:  sub    $0x1c,%esp

我不确定这是干什么的:

0x080486ae <myFunction+6>:  call   0x8048418 <mcount@plt>

这是 i 和 sum 初始化为 0(它们存储在堆栈中):

0x080486b3 <myFunction+11>: movl   $0x0,-0x4(%ebp)
0x080486ba <myFunction+18>: movl   $0x0,-0xc(%ebp)

这是外部 for 循环的开始。通常，汇编中的循环以跳转到结尾开始。在这种情况下，结尾超过了汇编列表的结尾。

0x080486c1 <myFunction+25>: jmp    0x8048713 <myFunction+107>

这是 j 被初始化为 0。它在这里完成是因为每次外部 for 循环运行时都必须重置它。

0x080486c3 <myFunction+27>: movl   $0x0,-0x8(%ebp)

这是内部 for 循环的开始。

0x080486ca <myFunction+34>: jmp    0x8048707 <myFunction+95>

通过对数组的地址进行指针运算，以 i*2 对数组进行索引。首先它把 i 放入 eax，然后左移它 3(乘以 8)。这是对 *2 以及数组 (4) 元素大小的优化。最后将其添加到数组的地址中，将结果存储在 eax 中。

0x080486cc <myFunction+36>: mov    -0xc(%ebp),%eax
0x080486cf <myFunction+39>: shl    $0x3,%eax
0x080486d2 <myFunction+42>: add    0xc(%ebp),%eax

这将获取上面计算的地址指向的值并将其存储在 edx 中。在这种汇编语言中，x(y) 表示 *(y+x)

0x080486d5 <myFunction+45>: mov    (%eax),%edx

这会以类似的方式计算 array[j]，这次将结果存储在 eax 中:

0x080486d7 <myFunction+47>: mov    -0x8(%ebp),%eax
0x080486da <myFunction+50>: shl    $0x2,%eax
0x080486dd <myFunction+53>: add    0xc(%ebp),%eax
0x080486e0 <myFunction+56>: mov    (%eax),%eax

检查上面的两个计算是否相等:

0x080486e2 <myFunction+58>: cmp    %eax,%edx

如果检查没有通过(如果它们不相等)，跳过 if 的内部。 (这会跳过您列表的末尾)jne 表示“如果不相等则跳转”

0x080486e4 <myFunction+60>: jne    0x8048703 <myFunction+91>

这些指令将 mySumFunction 的参数加载到适当的位置:

0x080486e6 <myFunction+62>: movl   $0x6,0x8(%esp)
0x080486ee <myFunction+70>: mov    0xc(%ebp),%eax
0x080486f1 <myFunction+73>: mov    %eax,0x4(%esp)

如果 list 在这里被截断了，但希望这能给您一个好的总体思路。