IDA反汇编/反编译静态分析iOS模拟器程序（五）F5反编译

反编译是IDA最让人振奋的功能，它的本质是IDA的一个插件，不过会被当做hex-rays的另一个产品。既然是产品，那当然就另外收费，demo版是没有的。反编译的快捷键是F5，菜单位置在 顶部菜单View->Open Subviews->Pseudocode。（有网友问到为什么按照第一篇的地址下载IDA后也没有F5，最终是发现他自己装了python，设了环境变量，这会令IDA工作不正常）

在显示反汇编的窗口中按F5，经过分析后，会多了一个标签栏Pseudocode-A：

继续上一节（可用两个浏览器窗口对比）的示例，以-[TestButton printLog]为例，可得到反编译代码：

__CFString *__cdecl _TestButton_Test__printLog_(void *a1)
{
  int v1; // ebx@1
  __CFString *result; // eax@3
  void *v3; // ecx@3

  v1 = OBJC_IVAR___TestButton_m_model;
  if ( DataModel__count(*(_DWORD *)((char *)a1 + OBJC_IVAR___TestButton_m_model)) )
  {
    if ( DataModel__count(*(_DWORD *)((char *)a1 + v1)) == 1 )
    {
      v3 = objc_msgSend(a1, (const __seg *)model[0]);// 改名前显示为v3 = objc_msgSend(a1, (const __seg *)off_57FC[0]);
      result = &cfstr_Fine;
      if ( !v3 )
        result = &cfstr_Error;
    }
    else
    {
      result = *(__CFString **)((char *)a1 + OBJC_IVAR___TestButton_m_printLog);
    }
  }
  else
  {
    result = &cfstr_Ok;
    if ( *(_DWORD *)((char *)a1 + OBJC_IVAR___TestButton_m_printLog) )
      result = *(__CFString **)((char *)a1 + OBJC_IVAR___TestButton_m_printLog);
  }
  return result;
}

改名的操作同样可在反编译代码中进行，只是界面稍有不同。在off_57FC处右键单击，选择Rename global item。无论在反汇编还是反编译改名，都会在另一方同步修改。

Objective-C和C++一样，每个类的函数实际都可用static的C函数表示，第一参数是self或this指针。所以反编译代码中，参数a1的类型显示为void*，实际也就是id，类的实例对象，即self指针。相比源码，反编译中有许多冗余代码，而且好多的类型转换和解引用，这是难免的，代码写法太多，总不能要求IDA这么智能。其实看多了也就习惯了，O(∩_∩)O

再看另一个函数：

源码中 @symthesize model 会得到 -[TestButton setModel:]函数，其反编译代码为：

int __cdecl _TestButton_setModel__(int a1, int a2, int a3)
{
  int result; // eax@1

  result = OBJC_IVAR___TestButton_m_model;
  *(_DWORD *)(a1 + OBJC_IVAR___TestButton_m_model) = a3;
  return result;
}

实际上这个函数返回值应该是void，但编译器是没有void返回值概念的，总会把一些东西返回，只是没用。a2是selector，实质为字符串的起始地址，IDA只能识别为int。a3是Objective-C语法的第一个参数，即被setModel的model，我们知道它是DataModel*，即传来的是一个地址，也被IDA当做int了，即32bit的数值。

这个结果很容易看出来实际操作是 m_model = a3;

第3个例子：

- (bool)inWindow
{
    return self.window != nil;
}

bool __cdecl _TestButton_inWindow_(void *a1)
{
  return objc_msgSend(a1, (const __seg *)off_57C4[0]) != 0;
}

其中off_57C4改名后就是window。如此简单的源码才可能和反编译代码形同。另外也可看出，0可能会代表实际代码中的 NO，false，NULL，nil等。1则可能会代表YES，true。

当没有debugging symbol时，bool会被显示为char，因为bool是语法类型，不是编译器类型，占1个字节，和char相同。

以上便是反编译最简单的应用。

上一篇：IDA反汇编/反编译静态分析iOS模拟器程序（四）反汇编的符号信息与改名

下一篇：IDA反汇编/反编译静态分析iOS模拟器程序（六）交叉引用

本文请勿转载。