我试图找到确凿的事实，以帮助我的管理层了解对编译的 C 代码进行逆向工程的难易程度。
之前在这个站点上已经提出过类似的问题（例如，是否可以“反编译”Windows .exe？或者至少查看程序集？或者可以反编译用 C 编写的 DLL？），但这些问题的要点是反编译已编译的 C 代码“很难，但并非完全不可能”。
为了促进基于事实的答案，我包含了一个神秘函数的编译代码，我建议这个问题的答案通过它们是否可以确定这个函数的作用来衡量所提出的技术的成功或失败。这对于 SO 来说可能是不寻常的，但我认为这是对这个工程问题获得“良好的主观”或事实答案的最佳方式。因此，您对这个函数在做什么以及如何做的最好猜测是什么？
这是编译后的代码，在 Mac OSX 上使用 gcc 编译：
_mystery:
Leh_func_begin1:
pushq %rbp
Ltmp0:
movq %rsp, %rbp
Ltmp1:
movsd LCPI1_0(%rip), %xmm1
subsd %xmm0, %xmm1
pxor %xmm2, %xmm2
ucomisd %xmm1, %xmm2
jbe LBB1_2
xorpd LCPI1_1(%rip), %xmm1
LBB1_2:
ucomisd LCPI1_2(%rip), %xmm1
jb LBB1_8
movsd LCPI1_0(%rip), %xmm1
movsd LCPI1_3(%rip), %xmm2
pxor %xmm3, %xmm3
movsd LCPI1_1(%rip), %xmm4
jmp LBB1_4
.align 4, 0x90
LBB1_5:
ucomisd LCPI1_2(%rip), %xmm1
jb LBB1_9
movapd %xmm5, %xmm1
LBB1_4:
movapd %xmm0, %xmm5
divsd %xmm1, %xmm5
addsd %xmm1, %xmm5
mulsd %xmm2, %xmm5
movapd %xmm5, %xmm1
mulsd %xmm1, %xmm1
subsd %xmm0, %xmm1
ucomisd %xmm1, %xmm3
jbe LBB1_5
xorpd %xmm4, %xmm1
jmp LBB1_5
LBB1_8:
movsd LCPI1_0(%rip), %xmm5
LBB1_9:
movapd %xmm5, %xmm0
popq %rbp
ret
Leh_func_end1:
更新
@Igor Skochinsky 是第一个找到正确答案的人：它确实是 Heron 计算平方根算法的幼稚实现。原始源代码在这里：
#include <stdio.h>
#define EPS 1e-7
double mystery(double x){
double y=1.;
double diff;
diff=y*y-x;
diff=diff<0?-diff:diff;
while(diff>=EPS){
y=(y+x/y)/2.;
diff=y*y-x;
diff=diff<0?-diff:diff;
}
return y;
}
int main() {
printf("The square root of 2 is %g\n", mystery(2.));
}