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

最新推荐文章于 2025-09-06 15:05:38 发布

原创

最新推荐文章于 2025-09-06 15:05:38 发布 · 402 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#软件逆向分析

文章展示了如何从IDA反编译的汇编代码推断出其原始功能，涉及浮点数比较操作。通过编写和运行C程序，验证了原始汇编代码用于判断变量是否大于180.0。VC2019编译的程序输出结果与IDA反编译的C代码功能相符。

一个软件的可执行文件的用IDA生成的汇编清单中有以下一段代码：

fld [ebp+var_420]
fld ds:flt_CBDC2C
fxch st(1)
fucom st(1)
fnstsw ax
fstp st(1)
test ah, 45h
setz al

但IDA生成的对应以上汇编的C代码是：

  v18 = v16 < 180.0;
  v19 = 0;
  v20 = v16 == 180.0;
  if ( (v17 & 0x45) == 0)

根据以上汇编代码单独写了一个C程序：

#include <stdio.h>

const float constatnt_180 = 180.0f;
unsigned char compare_float_with_constant(float var)
{
  unsigned char status;
  _asm
  {
    fld var
    fld constatnt_180
    fxch    st(1)
    fucom   st(1)
    fnstsw  ax
    fstp    st(1)
    test    ah, 45h
    setz    al
    mov status, al
  }
  return status;
}

int main(int argc, char** argv)
{
  unsigned char status;

  status = compare_float_with_cons