从某个需要逆向分析的代码中抽取一段,写成以下C程序:
#include <stdio.h>
unsigned compare_two_floats(float var1, float var2)
{
unsigned status;
_asm
{
mov edi, 0
fld var1
fld var2
fxch st(1)
fucompp
fnstsw ax
and ah, 45h
xor ah, 40h
jnz short loc_7E1CA0
mov edi, 1
loc_7E1CA0:
mov status, edi
}
return status;
}
int main(int argc, char** argv)
{
unsigned status;
int i[] = { 0, 1, 2 };
float* pf = (float*)i;
status = compare_two_floats(pf[0], pf[1]);
printf("%g %g %d\n", pf[0], pf[1], status);
status = compare_two_floats(pf[1], pf[1]);
printf("%g %g %d\n", pf[1], pf[1], status);
status = compare_two_floats(pf[2], pf[1]);
printf("%g %g %d\n", pf[2], pf[1], status);
}
用VC2019编译、运行以上程序。输出的结果是:
0 1.4013e-45 0
1.4013e-45 1.4013e-45 1
2.8026e-45 1.4013e-45 0
根据以上结果,可知这段汇编代码的功能是判断两个浮点数是否相等,如果相等则返回1,否则返回0.。
用IDA反编译以上程序的可执行文件,得到以下代码:
//----- (00411850) --------------------------------------------------------
int __cdecl compare_two_floats(float var1, float var2)
{
int v2; // edi
char v3; // fps^1
bool v4; // c0
char v5; // c2
bool v6; // c3
v2 = 0;
v4 = var1 < (double)var2;
v5 = 0;
v6 = var1 == var2;
if ( (v3 & 0x45) == 0x40 )
v2 = 1;
return v2;
}
// 411886: variable 'v3' is possibly undefined
以上代码不好用。