GDA是一款使用C++實現(xiàn)的Dalvik字節(jié)碼反編譯器，為用戶帶來更快、更流暢的使用體驗。軟件能夠幫助用戶對APK、DEX、ODEX、OAT文件進(jìn)行反編譯。軟件完全獨立，無需用戶安裝Java即可運(yùn)行。軟件中有著豐富的功能，可幫助用戶極大的提升工作效率。

軟件功能

1、dex文件解析，dex文件解析主要用于定位類，方法，域以及字符串等等信息，其中反編譯器需要用到字節(jié)碼是直接從method中解析得來,此外GDA還需獲取try-catch信息,調(diào)試信息等以備后用(主要在代碼生成時使用)。

2、指令解碼，對方法的字節(jié)碼進(jìn)行解碼，類似于反匯編，識別出240多條字節(jié)碼并將其轉(zhuǎn)化為低級中間表式(LIR)和高級中間表式（GDA的中間表式并非如llvm的文本型中間表示，而是內(nèi)存結(jié)構(gòu)型的表達(dá)式），然后對中間表式進(jìn)行優(yōu)化，剔除無效語句，然后生成控制流圖。GDA中每個低級中間表式都一一對應(yīng)著字節(jié)碼指令，高級中間表式的數(shù)目小于等于低級中間表式的數(shù)目。此外，之后實現(xiàn)的污點傳播分析引擎也是基于高級中間表達(dá)式進(jìn)行的。

3、控制流圖的生成，掃描每個高級中間表達(dá)式，查找分支、跳轉(zhuǎn)指令建立基本塊兒(同時把try-catch也考慮進(jìn)去)，進(jìn)一步建立起控制流圖。此外還需要對控制流圖進(jìn)行優(yōu)化，簡化控制流圖，去除無意義的基本塊，GDA還在這個階段做一些反混淆的工作，用于對抗一些無用跳轉(zhuǎn)，但是此處作用有限，更進(jìn)一步的反混淆在數(shù)據(jù)流分析中實現(xiàn)。

4、數(shù)據(jù)流分析，有了控制流圖，使用DFS遍歷控制流圖對基本塊兒內(nèi)及塊間進(jìn)行數(shù)據(jù)流分析，本處GDA并沒有采用du（定義使用鏈）來實現(xiàn)，而是采用了比較快的使用定義計數(shù)法來實現(xiàn)數(shù)據(jù)流分析，對低級中間代碼進(jìn)行優(yōu)化。此外，數(shù)據(jù)流分析中，GDA同時實現(xiàn)了類型推斷，以給每個低級中間表式的輸入輸出值確定其類型。同時，反混淆也在數(shù)據(jù)流分析中實現(xiàn)。

5、高級中間代碼生成，優(yōu)化完成后，就可以生成高級中間代碼，按照DFS遍歷每個基本塊，以基本塊為單位進(jìn)行高級中間代碼生成，此處需要應(yīng)用復(fù)制傳播來進(jìn)行低級中間表式的迭代，以生成大幅縮減的代碼語句。同時應(yīng)用調(diào)試信息來修改變量符號。

6、結(jié)構(gòu)化分析，GDA到這個階段實現(xiàn)了多復(fù)合條件的分析，并對二路(if-else)、多路（switch-case、try-catch）、環(huán)(while、do-while、for)結(jié)構(gòu)進(jìn)行了結(jié)構(gòu)化分析，為最終代碼輸出做準(zhǔn)備。結(jié)構(gòu)化分析時對于非結(jié)構(gòu)化圖，只能采用goto來實現(xiàn)，確保反編譯后邏輯正確性。

7、java代碼生成，最后按照java的代碼格式來生成代碼，尤其對于try-catch型的結(jié)構(gòu)，為了防止try塊兒于代碼的生成以method為單位也可以以類為單位進(jìn)行代碼生成。GDA主要以method為單位，并將類和方法進(jìn)行了分離。

軟件特色

c++編寫,獨立于java和android sdk，無需安裝java和android sdk即可使用

有效繞過各種字節(jié)碼陷阱、類型混淆以及anti-disassembling和anti-decompiling技術(shù)

支持dex、odex、apk、oat、jar、class、aar文件的反編譯分析

支持multi-dex反編譯

支持對strings,class,method,field進(jìn)行交叉引用和搜索(模糊匹配、精確匹配、正則)

支持class、method、field及變量重命名，java代碼注釋

分析結(jié)果保存，odex、oat轉(zhuǎn)dex

設(shè)備內(nèi)存dump,可用于輔助脫殼

反混淆支持

針對字符串、方法、類、域等關(guān)鍵信息提供了強(qiáng)大的搜索、交叉引用

Python和Java自動化插件支持

方法簽名支持

基于API鏈的惡意行為識別

變量及寄存器追蹤與溯源分析

漏洞掃描，自定義漏洞規(guī)則

隱私泄露檢測

精細(xì)化的程序路徑求解

APK取證分析