【文章标题】: ida 静态分析/破解某软件的 时间限制
【文章作者】: kusky
【作者邮箱】: p_168@163.com
【作者主页】: http://diylab.cnblogs.com
【作者QQ号】: 109427716
【软件名称】: 某视频监控软件
【软件大小】: 无
【下载地址】: 无
【加壳方式】: 无
【保护方式】: 时间限制
【编写语言】: Borland c++ builder 1999
【使用工具】: ida pro
【操作平台】: windows xp
【作者声明】: 只是感兴趣，没有其他目的。失误之处敬请诸位大侠赐教!
--------------------------------------------------------------------------------
【详细过程】
本文是本菜鸟对 ida 静态分析的一次实践。
与过去的静态分析利器 W32DASM相比， ida pro 最强悍的功能是库函数的识别。IDA PRO 用 library function， thunk 等标志把很多非手工编写的代码识别出来，大大节省了分析代码的精力。另外，IDA 甚至将一些手工编写的函数的函数名称也反编译出来。让人感叹：怎一个舒服了得！

闲话不叙。对于本文中所涉及ida 的使用的相关知识，如有感觉叙述不明白者，请参阅坛主《加密与解密》第三版 3.2.1--3.2.14  中的相关内容。

症状：程序运行一小时后，运行开始不正常。一些字符开始跳动。无其它提示。

思路：这种情况动态分析难度比较大，因为没有一个明确的提示或标志，不容易找到关键代码。从获取系统时间的 API 入手，寻找时间比较的相关代码。相对是一个比较可行的办法。
程序中进行时间比较，必然需要获取当前的时间。一般有两种办法，一种办法是获取当前的系统时间（getlocaltime）。一种办法是获取开机以来的时间（getticktime）。前者受修改系统时间的影响。后者不受修改时间的影响。

启动程序，直接将系统时间后移一小时，程序出现异常。说明修改系统时间可影响到程序对运行时间的判断。故寻找 API getlocaltime。

将程序用ida 载入。在 "functions window" 窗口（ 找不到则　菜单　windows-> functions window 或 alt+ 1），查找时间相关的API。
找到函数 getlocaltime。在 getlocaltime 上右键，下断点。



f9 运行程序，程序被断下来。 



上图中，code xref ：　对此函数进行了调用的函数。绿色部分列举了两个。在函数名上右键，"jump to xref to operand "。可以看到共有四处调用：



以上四处，第二处 Sysutils::CurrentYear 顾名思义，只能取到　年份，帮不考虑。其它的三处，需要继续上溯，直到用户代码。



 继续上溯对 now 的调用。



可以看到调用比较多。通常情况下，我们需要对每一个进行跟踪。但这时我们看到了一个很感兴趣的东东： FormShow。笔者编写过 vb ，知道写图形界面程序的第一步就是 FormShow。估计delphi 也是这样吧。不需要做艰难的决定。直接跟踪。双击“_TFNewGoMain_FormShow+33”。到达下面的界面。



.text:00408E43 call    @Sysutils@Now$qqrv              ; Sysutils::Now(void)
.text:00408E48 fstp    dbl_CEEC9C
查阅手册得知，Sysutils::Now() 返回了一个浮点数值。整数部分保存1900年以来的天数，小数部分保存今天已经消逝的时间比例。在 delphi 语言中，浮点数是保存在浮点寄存器 fpu registers 中的。
fstp 指令的意思是将浮点数指令寄存器中的数据保存到 变量 dbl_CEEC9C 中。

右键 dbl_CEEC9C,选择 rename, 将变量dbl_CEEC9C 标记为 my_dbl_CEEC9_now,以方便识别。 
现在我们对程序的设计思路比较清楚了。按现在的分析，程序在启动时记录了系统时间。并不断地检查，如果超过了一小时，就开始捣乱。我们只需要找到读取my_dbl_CEEC9_now 的代码，就能跟踪到关键代码了。

 右键 my_dbl_CEEC9_now ，"jump to xref operator"，看到了如下的八处调用。




根据 type 列知道，对 my_dbl_CEEC9_now 的操作，有四处读(r)，三处写(w)，我们首先考虑 读的代码。



 幸运的是，我们第一次就到了合适的位置。见到了经典的比较和跳转。


以上三处代码：

 

.text:00404195 call    @Sysutils@Now$qqrv              ; Sysutils::Now(void)
.text:0040419A fstp    [ebp+var_380]                     ; 取当前时间
.text:004041A0 fld     my_dbl_CEEC9C_now             ;取启动时保存的时间
.text:004041A6 fadd    ds:dbl_404AA0                     ;启动时保存的时间加上一个值（一个多小时）
......
 

.text:004041ED fxch    st(1)                                   ;交换当前时间(st0) 和启动时保存的时间(st1)
.text:004041EF fucompp                                         ;比较！
......
 

.text:004041F4 setnbe  dl
.text:004041F7 and     edx, 1
.text:004041FA test    dl, dl
.text:004041FC jz      short loc_40422A                   ;小等于则跳！

.text:004041FE call    sub_4AD208                          ; 干扰函数
 以上代码中，ds:dbl_404AA0  是一个全局变量。保存了限定的时间长度。



00404AA0 dbl_404AA0 dq 0.04166666666666666       ; DATA XREF: sub_403E30+376r
 

0.04166666666666666  ＝ 1/24,正好一小时，即我们想要的值。
 
观察对 my_dbl_CEEC9_now 的其它几处调用。可以看到，其它的三处 read 和上面的代码基本一样。三处 write 查了查，没什么关系，就不研究了。
对此程序的分析到此结果，接下来只需要对几处变量对修改即可。本文主要介绍 ida 的静态分析，代码修改就不赘述了。 

如果你使用 hex-rays  的反编译功能，分析时要注意的是delphi 语言的参数传递的一个特点。delphi 语言中，函数参数的传递是按照 eax,edx,ecx，栈变量 的顺序来传递的。可以看到，一些明明没有参数的函数，hex-rays 反编译的c 代码中却添加了三个参数。这就是 eax,edx,edx。所以，在反编译的c 代码中，要认真辨别相关函数是否确实通过这些寄存器传递了参数。
 
改成三小时( 3/24 = 0.125 )试试。
查看内存 

00404AA0  55 55 55 55 55 55 A5 3F
改为

00404AA0  00 00 00 00 00 00 c0 3F




--------------------------------------------------------------------------------
【经验总结】
  针对本人的分析过程，提出对抗 ida 静态分析的一些策略：
  1、编译好的文件删除字符串。如 "delphi", "visual basic"，"mfc"等，防止作者的思路和开发环境被猜测。
  2、对调用的库函数加入花指令。ida 识别库函数的一项重要依据是函数的长度和 hash 值。加入花指令可以使函数难于被
  识别为库函数，增加逆向者的工作量。
--------------------------------------------------------------------------------
【版权声明】: 本文原创于看雪技术论坛, 转载请注明作者并保持文章的完整, 谢谢!

                                                       2010年12月16日 22:43:25