「知物由學」是網易雲易盾打造的一個品牌欄目，詞語出自漢·王充《論衡·實知》。人，能力有高下之分，學習才知道事物的道理，而後才有智慧，不去求問就不會知道。「知物由學」希望通過一篇篇技術乾貨、趨勢解讀、人物思考和沉澱給你帶來收穫的同時，也希望打開你的眼界，成就不一樣的你。
以下為文章正文：
想知道Android App常見的保護方法及其對應的逆向分析方法嗎？
3月17日，安卓巴士全球開發者論壇在重慶舉辦，網易資深安全工程師鍾亞平出席交流活動，並做了《安卓APP逆向與保護》的演講。在分享中，他介紹了 Android App常見保護方法及其對應的逆向分析方法，以及分析了常見的加固方案原理與對抗方法。
安卓APP安全包含很多內容，本次分享了混淆代碼、整體Dex加固、拆分 Dex 加固、虛擬機加固等方面。事實上，這些內容也是國內近幾年Android App安全保護的一種主要趨勢。
一、混淆代碼
Java代碼是非常容易反編譯的，作為一種跨平臺的、解釋型語言，Java 原始碼被編譯成中間「字節碼」存儲於class文件中。由於跨平臺的需要，這些字節碼帶有許多的語義信息，很容易被反編譯成Java原始碼。為了很好地保護Java原始碼，開發者往往會對編譯好的class文件進行混淆處理。
混淆就是對發布出去的程序進行重新組織和處理，使得處理後的代碼與處理前代碼完成相同的功能，而混淆後的代碼很難被反編譯，即使反編譯成功也很難得出程序的真正語義。ProGuard就是一個混淆代碼的開源項目，能夠對字節碼進行混淆、縮減體積、優化等處理。
Proguard處理流程圖如下所示，包含壓縮、優化、混淆、預檢四個主要環節：
壓縮（Shrink）：檢測並移除代碼中無用的類、欄位、方法和特性（Attribute）；優化（Optimize）：對字節碼進行優化，移除無用的指令。優化代碼，非入口節點類會加上private/static/final，沒有用到的參數會被刪除，一些方法可能會變成內聯代碼；混淆（Obfuscate）：使用a、b、c、d這樣簡短而無意義的名稱，對類、欄位和方法進行重命名；預檢（Preveirfy）：在Java平臺上對處理後的代碼進行預檢，確保加載的class文件是可執行的。
在分享中，鍾亞平展示了利用Proguard，對Dex2jar進行反編譯處理後的Apk效果示例：
Proguard處理後
Proguard混淆器不僅能夠保護代碼，而且能夠精簡編譯後的程序大小，減少內存佔用。
混淆代碼逆向分析
如果想要反編譯混淆代碼，鍾亞平分享了一個國外的工具DEGUADR，它能夠通過統計的方式來解混淆。雖然這個工具的正確率達不到100%，但是能在一定程度上幫助反編譯代碼。
使用DEGUADR解混淆的示例：
com.xxxxx.common.util.CryptoUtil網站也提供了一種反編譯服務，如下所示：
二、整體Dex加固
為了加強Android保護強度，隨著安全技術的發展，又出現了新型的「加固技術」。DEX加固是對DEX文件進行加殼防護，防止被靜態反編譯工具破解而洩露源碼，最剛開始出現的是整體加固技術方案。
整體加固技術的原理如上所示，包括替換application/classes.dex、解密/動態加載原classes.dex、調用原application相關方法、將原application對象/名稱設置到系統內部相關變量四大環節。其中最為關鍵的一步就是解密/動態加載原classes.dex，通過加密編譯好的最終dex源碼文件，然後在一個新項目中用新項目的application啟動來解密原項目代碼並加載到內存中，再把當前進程替換為解密後的代碼，能夠很好地隱藏源碼並防止直接性的反編譯。
整體Dex加固逆向分析
整體Dex加固逆向分析有兩種常用的方法。其一是在內存中暴力搜索 dex\n035，再 dump。以下是在32位系統中的效果示例：
另一種方法就是通過HookdvmDexFileOpenPartial(void* addr, int len, DvmDex**)。
三、拆分Dex加固
隨著業務規模發展到一定程度，不斷地加入新功能、添加新的類庫，代碼在急劇膨脹的同時，相應的apk包的大小也急劇增加，那麼簡單的整體加固方案就不能很好地滿足安全需求，在整體加固方案之外又出現了拆分加固的技術方案。
但是如上所示，dex文件在加固時，針對中間缺失的一部分數據會以解密後的數據來替換，有的時候這種拆分替換也會導致數據不準確。那麼到底應該拆分什麼樣的數據呢？就需要了解一下dex文件的數據結構。
Dex文件結構極為複雜，以下圖示選取了其中較為重要的內容。事實上，dex文件是一個以class為核心組裝起來的文件，其中最重要的是classdata和classcode兩部分，有其特定的接口和指令數據，選取這兩部分來拆分的話，即使拆分出來也不會洩露class數據和字節碼數據，反編譯出來也不完整，安全性較高。
拆分Dex加固逆向分析
對於dex拆分加固的逆向分析，如下所示，可以用classdata替換從而組裝成新的dex文件，雖然和原來的dex文件不會完全一致，但也在一定程度上復原了被拆分數據的樣子。
但要注意的是，這種方法僅適用於被拆分出去的數據變形一次性完成，也就是說，在有其他保護思路的情況下儘量避免使用，而且即使有需要也儘量選在用到這個類的時候才去恢復。
此外還有一個更底層一些的工具dexhunter，這個工具較為前衛，但同時也有一些局限性，譬如部分指令數據會被優化，形成的代碼界面不是很美觀等等。
四、虛擬機加固
虛擬機加固也屬於dex拆分加固的一種，它是對字節做了一些變化處理。如下所示，這是一個正常安卓系統中的代碼，在其中進行了虛擬機加固操作：
以add-int v0, v1, v2、sub-int v0, v1, v2、mul-int v0, v1, v2這三條指令進行替換，然後進行加固編譯，這樣子操作後，即使把替換後的數據恢復了，也不會以add-int v0, v1, v2、sub-int v0, v1, v2、mul-int v0, v1, v2這三條指令進行替換，然後進行加固編譯，這樣子操作後，即使把替換後的數據恢復了，也不會變形成為之前的字節碼，安全係數較高。
虛擬機加固逆向分析—HOOK JNI 接口
這種方式下的逆向分析，一方面可以通過HOOK JNI 接口來實現，它有兩種實現方式。
其一是類成員/靜態變量操作相關接口，比如：
GetStaticDoubleFieldSetStaticDoubleField GetDoubleField SetDoubleField … (byte, object, int,long…)
其二是反射調用類方法，比如：
CallVoidMethodACallBooleanMethodA CallShortMethodA CallObjectMethodA …CallStaticVoidMethodACallStaticBooleanMethodA CallStaticShortMethodA CallStaticObjectMethodA …(byte, int, long,double …)CallObjectMethodA(JNIEnv* env, jobject object, jmethoID method, …)
通過HOOKJNI 接口實現虛擬機加固逆向分析
通過HOOK JNI 接口不用逆向底層，就可以了解APP大致的調用流程。但是對於複雜的調用過程，或者虛擬化方法數量較多的情況，這種逆向分析手段看起來會比較混亂；對於不需要返射到Java層執行的指令，如算術、邏輯運算等，則無法監控到。
虛擬機加固逆向分析—分析指令操作碼映射
另一方面，也可以通過分析指令操作碼映射來逆向分析。在同一加固版本，或者映射關係相同的情況下，可以採取以下所示的方法：
但在實際情況中，每次加固時的映射關係都是隨機變化的，如下所示，這種情況下就無法直接建立映射關係。
不依賴於操作碼的映射關係只與虛擬機結構有關，所以需要根據偏移關係建立映射關係，從而進行逆向分析。
以上就是此次《安卓APP逆向與保護》主題的全部分享內容。
安卓APP逆向保護作為開發工作中的重要內容，一直是網易雲易盾致力於提供的應用服務。「後續，我們將在SO加密保護方面進行更加深入的研究。」鍾亞平最後說道。
*本文作者：網易雲易盾，來自FreeBuf.COM