浮点数比较代码的逆向分析（二）

从某个需要逆向分析的代码中抽取一段，写成以下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

以上代码不好用。