iOS加固保护新思路

news2024/11/23 20:00:52

之前有写过【如何给iOS APP加固】，但是经过一段时间的思考，我找到了更具有实践性的代码，具体可以看下面。

技术简介

iOS加固保护是基于虚机源码保护技术，针对iOS平台推出的下一代加固产品。可以对iOS APP中的可执行文件进行深度混淆、加固，并使用独创的虚拟机技术对代码进行加密保护，使用任何工具都无法直接进行逆向、破解。对APP进行完整性保护，防止应用程序中的代码及资源文件被恶意篡改。

技术功能

目前iOS加固主要包含逻辑混淆、字符串加密、代码虚拟化、防调试、防篡改以及完整性保护这三大类功能。通过对下面的代码片段进行保护来展示各个功能的效果：

- (void) test {
	if (_flag) {
	    test_string(@"Hello, World!",@"你好，世界！","Hello, World!");
	} else {
	     dispatch_async(dispatch_get_mian_queue(), ^{
	            do_something( );
	      });
	}
	int i=0;
	while (i++ < 100) {
	       sleep(1);
	       do_something( );
	}
}

将代码编译后拖入IDA Pro中进行分析，可以得到这样的控制流图，只有6个代码块，且跳转逻辑简单，可以很容易地判断出if-else以及while的特征：
在这里插入图片描述

将其反编译为伪代码，代码逻辑及源代码中使用的字符串均清晰可见，与源代码结构基本一致，效果如下

void __cdecl -[ViewController test](ViewController *self, SEL a2)
{
   signed int v2; // w19
   __int64 v3;  //x0

   if ( self->_flag )
      sub_100006534 ( CFSTR("Hello, World!"),CFSTR("你好，世界！"), "Hello, World!" );
   else
      dispatch_async ( &_dispatch_main_q, &off_10000C308 );
   v2 = 100;
   do
   {
       v3 = sleep( 1u );
       sub_100006584( v3 );
       --v2;
    }
    while ( v2 );
}

1 代码逻辑混淆

通过将原始代码的控制流进行切分、打乱、隐藏，或在函数中插入花指令来实现对代码的混淆，使代码逻辑复杂化但不影响原始代码逻辑。

对代码进行逻辑混淆保护后，该函数的控制流图会变得十分复杂，且函数中穿插了大量不会被执行到的无用代码块，以及相互间的逻辑跳转，逆向分析的难度大大增强：
在这里插入图片描述

若开启防反编译功能，则控制流图会被完全隐藏，只剩下一个代码块，且无法反编译出有效代码(如下图所示)，这对于对抗逆向分析工具来说非常有效，包括但不限于(IDA Pro, Hopper Disassembler, Binary Ninja, GHIDRA等)
在这里插入图片描述

void __cdecl -[ViewController test](ViewController *self , SEL a2)
{
    JUMPOUT (__CS__, sub_100005A94(6LL, a2));
}

2 字符串加密

把所有静态常量字符串(支持C/C++/OC/Swift字符串)进行加密，运行时解密，防止攻击者通过字符串进行静态分析，猜测代码逻辑。

对代码中的字符串进行加密之后，所有的字符串都被替换为加密的引用，任何反编译手段均无法看到明文的字符串。你好，世界！,Hello, World!等字符串原本可以被轻易的反编译出来，但保护之后已经看不到了：

void __cdecl -[ViewController test](ViewController *self, SEL a2)
{
   __int64 v2;  //x0
   __int64 v3;  //x0
   signed int v4; // w19
   __int64 v5;  //x0

   if ( self->_flag )
   {
      v2 = sub_100008288();
      v3 = sub_10000082E8(v2);
      sub_100008228(v3);
      sub_100007FB0( &stru_100010368, &stru_10001038, &unk_100011344);
   }
   else
      dispatch_async ( &_dispatch_main_q, &off_100010308 );
   }
   v4 = 100;
   do
   {
       v5 = sleep( 1u );
       sub_100008004( v5 );
       --v4;
    }
    while ( v4 );
}

3 代码虚拟化

将原始代码编译为动态的DX-VM虚拟机指令，运行在DX虚拟机之上，无法被反编译回可读的源代码，任何工具均无法直接反编译虚拟机指令。

采用代码虚拟化保护后，对函数进行反编译将无法看到任何与原代码相似的内容，函数体中只有对虚拟机子系统的调用：

void __cdecl -[ViewController test](ViewController *self, SEL a2)
{
     SEL v2;  // x19
     __int64 v3;  //  x21

     v2 = a2;
     v3 = sub_10000C1EC;
     (( void (* )(void))sub_10000C1D8)();
     sub_10000C1D8( v3, v2);
     sub_10000C180( v3, 17LL);
}