首页
社区
课程
招聘
[原创]Andorid APK反逆向解决方案---梆梆加固原理探寻
发表于: 2013-5-27 15:36 42982

[原创]Andorid APK反逆向解决方案---梆梆加固原理探寻

2013-5-27 15:36
42982

本文章由Jack_Jia编写,转载请注明出处。  
文章链接:http://blog.csdn.net/jiazhijun/article/details/8892635
作者:Jack_Jia    邮箱: 309zhijun@163.com

一、序言

       目前Android市场充斥着大量的盗版软件,开发者的官方应用被“打包党”们恶意篡改。如何使程序代码免受盗版篡改就成了开发者面临的头等大事,今天我们将分析一个不错的解决方案---梆梆加固(http://www.secneo.com/appProtect/)。
       通过对App进行加固保护。梆梆可以有效防止移动应用在运营推广过程中被破解、盗版、二次打包、注入、反编译等破坏,保障程序的安全性、稳定性,对移动应用的整体逻辑结构进行保护,保证了移动应用的用户体验。

二、梆梆加固逆向分析过程

      首先我们通过对APK加固前后文件结构的比较,来了解梆梆加固对APK文件所做的处理。为了使分析过程足够简单,我新建一个最简单的测试程序,并上传到梆梆加固,整个加固过程大概需要4天的时间才可以完成,这是一个漫长的等待过程。
      该测试程序包含了Activity、Service、ContentProvider、BroadcastRecevier四大组件、Application、普通类、Jni调用等7类对象,目的就是全面的了解梆梆的加固效果。

      1、apk加固前后静态文件结构及动态运行时对比分析

           (1) 加固前后静态文件结构变化(左为加固前,右为加固后)

            

            加固后apk新增以下文件:
                  assets\meta-data\manifest.mf  //APK文件列表SHA1-Digest
                  assets\meta-data\rsa.pub        //RSA公钥信息
                  assets\meta-data\rsa.sig         //数字签名文件
                  assets\classes.jar                    //已加密原classes.dex文件
                  assets\com.example.hellojni    //ARM平台二进制可执行文件
                  assets\com.example.hellojni.x86  //x86功能同上
                  libs\armeabi\libsecexe.so        //ARM平台共享库文件
                  libs\x86\libsecexe.so               //x86功能同上
            加固后修改文件:
                 AndroidMainfest.xml  //(如果应用配置有Application信息,则该文件加固前后相同,如果应用未配置Application信息,则该文件加固前后不                                                   //相同,梆梆会配置Application信息为自己实现类)
                 classes.dex

            对classes.dex进行反编译,观察代码树结构变化:(左为加固前,右为加固后)

                                                                      
         (2)加固前后动态运行时变化

                 运行原程序,系统仅创建一个相关进程,但是加固的程序,系统会为其同时创建三个相关程序进程:
                 进程启动顺序:597进程创建605进程,605进程又创建了607进程


                 
                通过查看maps文件获取597进程映射文件信息

           
                  通过map文件可以看出,597进程为主进程,android各组件在该进程中运行。
                  605和607进程并无与apk文件相关文件信息,通过cmdline查看启动参数:



                  初步怀疑该进程为assets\com.example.hellojni 可执行文件运行结果。

     2、梆梆加固保护效果分析

          我们通过逆向分析加固后的app,来看看梆梆加固对app的保护效果。
          程序代码的第一执行点是Application对象,首先查看TestApplication类对象。
           
             程序的Util类完成大部分的java层逻辑,


   
    ACall类主要完成对libsecexe.so JNI的调用:

        
    查看libsecexe.so文件导出函数,发现所有函数名都经过加密处理,与我们平时jni调用产生的函数名并不同。平时jni产生的函数名应该为这样格式Java_com_secapk_wrapper_ACall_{函数名}

            
               
     抗静态分析:
         Util类通过MyClassLoader完成对加密classes.jar的动态加载,内存中解密classes.jar,完成动态加载。
         jni方法对应so函数名的混淆。
     抗动态调试:
         当使用IDA动态调试该程序时,程序无法建立连接调试。

    梆梆加固可以有效常用的逆向分析方法。

三、梆梆加固技术实现关键点猜想
   
     (1)如何使DexClassLoader动态加载组件具有生命周期?
            根据APK文件是否在AndroidManifest.xml配置Applicaiton信息,梆梆加固会做不同的处理:
            通过上传Applicaiton不同配置的APK文件,我们发现:
                  当APK配置有Applicaition信息时,梆梆加固重写Application类
                  当APK未配置Application信息时,梆梆加固新建类,并在AndroidManifest.xml中配置自己Application类

            因此Applicaiton就是程序的第一执行点。
            我们知道DexClassLoader加载的类是没有组件生命周期的,也就是说即使DexClassLoader通过对dex的动态加载完成了对组件类的加载,              当系统启动该组件时,还会出现加载类失败的异常。我已经在“Android APK加壳技术方案”
            (http://blog.csdn.net/jiazhijun/article/details/8809542)中提出了一种使DexClassLoader加载组件类具有生命周期的方法。
           运行加固后的程序并通过Mat内存分析工具查看类加载情况:

            
      
                  如上图所示,组件类的加载类已经被修改为com.secapk.wrapper.MyClassLoader类,可以得出结论,该方式和我提出方式基本相同,通过             修改系统组件类ClassLoader来实现。

          (2)如何混淆native方法在so库函数对应关系?
                   jni方法注册方式有两种,
                          1、通过javah产生函数头,该种方式产生的方法具有固定的格式。该方式使逆向分析人员比较容易获取java层native方法对应的本地方                                法。
                          2、在JNI_OnLoad方法中手动注册jni方法,不易查找对应关系。
                    使用第二种方式可以实现混淆java层native方法和so函数的对应关系。
                    
[cpp] view plaincopy
#include <string.h>  
#include <jni.h>  
  
JNIEXPORT jstring JNICALL abcdefghijklmn( JNIEnv* env,jobject thiz )  
{  
    return (*env)->NewStringUTF(env, "Hello from JNI !");  
}  
  
JNIEXPORT jint JNICALL JNI_OnLoad(JavaVM* vm, void* reserved)  
{  
    JNIEnv* env = NULL;  
    jint result = -1;  
  
    if ((*vm)->GetEnv(vm, (void**) &env, JNI_VERSION_1_4) != JNI_OK) {  
        return JNI_ERR;  
    }  
    JNINativeMethod gMethods[] = {  
        { "stringFromJNI", "()Ljava/lang/String;", (void*)abcdefghijklmn },  
    };  
    jclass clazz = (*env)->FindClass(env, "com/example/hellojni/HelloJni");  
      
    if (clazz == NULL) {  
        return JNI_ERR;  
    }  
    if ((*env)->RegisterNatives(env, clazz, gMethods, sizeof(gMethods) / sizeof(gMethods[0])) < 0){  
        return JNI_ERR;  
    }  
    /* success -- return valid version number */  
    result = JNI_VERSION_1_4;  
    return result;  
}  
              以上代码中的字符串都是明文(比如“stringFromJNI”),如果这些文明字符串都换成密文的话,再通过运行时解密,相应的对应关系更不易看出。
          (3)如何使DexClassLoader加载加密的dex文件?
                   虽然不了解梆梆加固是怎么做的,不过通过分析它的运行逻辑,我推测了一种可行的实现方案:了解该方案需要对Android                                        DexClassLoader的整个加载流程需要有清晰的了解。
                    首先推断assets\classes.jar是一个加密的jar包。
                    正常的DexClassLoader加载的流程如下:会有一个DexOpt产生odex过程
                    
                   但是梆梆加固后的应用DexClassLoader加载过程并没有该过程的log信息。
                   推断加密的jar包里面含有odex文件,如果不是odex文件的话,DexClassLoader肯定会在运行时释放未加密的odex文件到目录,这样的话                  被保护的逻辑也就泄露了。
                   DexClassLoader加载过程会在java层和C层产生不同的数据结构,java层并没有实质性的数据,所有的数据都在c层,我们可用通过底层代                码完成dex数据的解析。底层dex分析是可以支持byte[]数组的,解密odex数据,传递过去就行了。这样java层就可以调用了。
                   以下是大概伪代码实现步骤:
                   int loadDex(char * dexFileName)
{
    char *dvm_lib_path = "/system/lib/libdvm.so";
void * handle;
DvmGlobals gDvm;
    handle = dlopen( dvm_lib_path, int mode);

1、读取dexFileName文件内容并解密到byte数组。
2、调用dexFileParse函数解析byte数组为DexFile
\dalvik\libdex\DexFile.c
DexFile* dexFileParse(const u1* data, size_t length, int flags)//dlsym(handle, "dexFileParse");

3、调用allocateAuxStructures转换DexFile为DvmDex,(由于该方法为static方法,因此需要按照其逻辑自行实现)
\dalvik\vm\DvmDex.c
static DvmDex* allocateAuxStructures(DexFile* pDexFile)

4、添加DvmDex到gDvm.userDexFiles
\dalvik\vm\Init.c
struct DvmGlobals gDvm; //gDvm = dlsym(handle, "gDvm");

5、修改MyDexClassLoader中的mDexs对象的mCookie值,mCookie主要用于映射底层DvmDex数据
DexClassLoader.mDexs[0].mCookie值

}
          (4)so如何实现程序的反调试?
                    同linux反调试基本原理相同,这里提供一种方式就是在JNI_Onload中调用ptrace方法,ptrace被广泛用于调试(比如IDA)和进程代码注入(比如LBE,金山等权限管理功能实现),一个进程只能被一个进程ptrace,如果你自己调用ptarce,这样其它程序就无法通过ptrace调试或者 向您程序进程注入代码。
                        ptrace(PTRACE_TRACEME,0 ,0 ,0);
                    通过本人实验,该种方式可以实现so的反调试。
三、总结
       通过以上分析,梆梆加固的确可以有效防止移动应用在运营推广过程中被破解、盗版、二次打包、注入、反编译等破坏,不过如果Android恶意软件也通过这种方式加固保护,这将会给移动安全分析人员带来巨大的挑战,因为安全分析人员经常使用的代码静态逻辑分析和动态调试分析在该情况下都失效了。
       梆梆官方声称不会对恶意软件进行加固,的确在加固的过程中发现存在安全软件扫描信息和云测试处理流程,不过这些措施只能减少而不能彻底杜绝恶意软件通过梆梆加固保护。如何不被恶意软件利用是梆梆需要解决的问题。


[招生]科锐逆向工程师培训(2024年11月15日实地,远程教学同时开班, 第51期)

收藏
免费 5
支持
分享
最新回复 (35)
雪    币: 90
活跃值: (126)
能力值: ( LV6,RANK:80 )
在线值:
发帖
回帖
粉丝
2
厉害,很清晰
2013-5-27 16:52
0
雪    币: 1413
活跃值: (401)
能力值: (RANK:270 )
在线值:
发帖
回帖
粉丝
3
赞。不如把样本发上来给大家对照着看?
2013-5-27 16:52
0
雪    币: 49
活跃值: (40)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
4
确实,如果恶意软件也使用这种方式加固,以后的分析工作就会面临更大的挑战。
2013-5-27 17:26
0
雪    币: 18
活跃值: (430)
能力值: ( LV4,RANK:40 )
在线值:
发帖
回帖
粉丝
5
求样本...........
2013-5-27 17:52
0
雪    币: 406
活跃值: (164)
能力值: ( LV12,RANK:250 )
在线值:
发帖
回帖
粉丝
6
这种加密应用的方式确实会给逆向带来比较大的难度。
2013-5-27 19:12
0
雪    币: 298
活跃值: (10)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
7
IDA也跑不起来啊。。。求样本~另外恶意软件作者不需要传给梆梆啊,自己按照思路加壳、变异就好。。。
再次求原本。。。
2013-5-27 20:32
0
雪    币: 298
活跃值: (10)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
8
兄弟你好,之前你也分析过,能否分享下样本?谢谢
http://bbs.pediy.com/showthread.php?p=1162634
2013-5-27 20:39
0
雪    币: 298
活跃值: (10)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
9
Android平台的调试工具有哪些?矛必须加油了
2013-5-27 21:01
0
雪    币: 61
活跃值: (55)
能力值: ( LV3,RANK:20 )
在线值:
发帖
回帖
粉丝
10
感谢啊之前一直不能理解怎样做到混淆so的函数名这下清楚了
2013-5-27 22:06
0
雪    币: 61
活跃值: (55)
能力值: ( LV3,RANK:20 )
在线值:
发帖
回帖
粉丝
11
作者在(3)中 关于jar包里面含有odex文件
中的推断是没有错的。
源码中有下面这句注释
If a stale .odex file is present and classes.dex exists in
the archive, this will *not* return an fd pointing to the
.odex file; the fd will point into dalvik-cache like any
other jar.
也就是如果jar,zip,apk 包中含有一个odex文件的化 就不会释放 odex文件了。
验证odex文件的函数为dvmCheckOptHeaderAndDependencies
源码在这里
http://androidxref.com/4.2_r1/xref/dalvik/vm/analysis/DexPrepare.cpp#dvmCheckOptHeaderAndDependencies
2013-5-27 23:35
0
雪    币: 270
活跃值: (97)
能力值: ( LV8,RANK:140 )
在线值:
发帖
回帖
粉丝
12
Mark~~~~
2013-5-27 23:49
0
雪    币: 296
活跃值: (15)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
13
good job.
2013-5-28 09:53
0
雪    币: 118
活跃值: (106)
能力值: ( LV6,RANK:90 )
在线值:
发帖
回帖
粉丝
14
呵呵O(∩_∩)O~
2013-5-28 10:30
0
雪    币: 298
活跃值: (10)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
15
我擦。。。我传了个APP上去,检测安全,但加固失败,失败原因没写,为啥?
2013-5-28 12:12
0
雪    币: 90
活跃值: (126)
能力值: ( LV6,RANK:80 )
在线值:
发帖
回帖
粉丝
16
去他们网站上传下就能拿到了,以前的不注意弄丢了
2013-5-28 17:22
0
雪    币: 298
活跃值: (10)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
17
传过2次了,无理由咔嚓掉,代码验证见过是安全~但就是加固失败。没混淆。估计是看我注册信息虚假不给梆梆
2013-5-28 19:47
0
雪    币: 260
活跃值: (29)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
18
不错,学习了。谢谢分享。
2013-5-30 01:51
0
雪    币: 4
活跃值: (327)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
19
哈哈 现在审核会更严格咯
2013-5-31 16:27
0
雪    币: 118
活跃值: (10)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
20
安全人员又要补充加壳的知识了 苦逼啊...
2013-6-6 14:12
0
雪    币: 185
活跃值: (25)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
21
梆梆的方案中。应该不是使用ptrace来实现 的反调试。因为在so的imports 中没有ptrace的引用。
2013-6-9 09:04
0
雪    币: 8
活跃值: (15)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
22
不错 学习了~
2013-6-9 10:41
0
雪    币: 231
活跃值: (12)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
23
太厉害了,学习……

(*^__^*)
2013-6-9 11:25
0
雪    币: 149
活跃值: (10)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
24
不知道大家尝试过根据这个流程写一个加壳程序不?
2013-8-9 11:13
0
雪    币: 7309
活跃值: (3788)
能力值: (RANK:1130 )
在线值:
发帖
回帖
粉丝
25
mark一下
2013-8-19 21:56
0
游客
登录 | 注册 方可回帖
返回
//