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

最新推荐文章于 2025-10-24 14:53:15 发布

原创

最新推荐文章于 2025-10-24 14:53:15 发布 · 341 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#软件逆向分析

文章提供了一个C语言函数，用于比较两个浮点数是否相等，通过汇编代码实现。程序在VC2019下编译运行，输出展示了比较结果。使用IDA反编译后，发现代码存在可能的未定义变量问题。

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