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

logiciel

于 2023-04-13 09:52:06 发布

阅读量276

点赞数

分类专栏：逆向分析文章标签：软件逆向分析

本文链接：https://blog.csdn.net/logiciel/article/details/130121282

版权

逆向分析专栏收录该内容

6 篇文章 0 订阅

订阅专栏

一个软件的可执行文件的用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_constant(179.0f);
  printf("%d\n", status);
  status = compare_float_with_constant(180.0f);
  printf("%d\n", status);
  status = compare_float_with_constant(181.0f);
  printf("%d\n", status);
}

用VC2019编译、运行以上程序。输出的结果是：

用IDA反编译以上程序的可执行文件，得到以下代码：

//----- (00411850) --------------------------------------------------------
bool __cdecl compare_float_with_constant(float var)
{
  return var > 180.0;
}

根据以上程序的运行结果和IDA的反编译结果，可推断那段原始汇编代码的功能是判断变量是否大于180.0。