Android應(yīng)用程序靜態(tài)流敏感分析技術(shù)研究.pdf

1、隨著Android手機(jī)的日益普及，Android應(yīng)用程序的安全問(wèn)題引起人們?cè)絹?lái)越多的關(guān)注。由于Android平臺(tái)的開(kāi)放性和管理上的混亂，由Android應(yīng)用程序危險(xiǎn)行為導(dǎo)致的安全問(wèn)題日益突出。目前對(duì)Android應(yīng)用程序的安全研究多集中在已有惡意軟件的檢測(cè)，采用的是基于軟件特征的方法，鮮見(jiàn)對(duì)整個(gè)Android應(yīng)用程序的字節(jié)碼文件進(jìn)行流敏感分析的研究。而靜態(tài)流敏感分析技術(shù)是一種在PC上廣泛使用的程序分析技術(shù)，特別是在軟件安全領(lǐng)域具有較高的

2、實(shí)用價(jià)值。本文將靜態(tài)流敏感分析技術(shù)引入Android應(yīng)用程序分析當(dāng)中，通過(guò)分析Android應(yīng)用程序的字節(jié)碼文件的程序邏輯，理解程序行為，從而達(dá)到檢測(cè)危險(xiǎn)行為的目的。
　　 本文研究了Dalvik字節(jié)碼的特點(diǎn)，設(shè)計(jì)了一套語(yǔ)義模型。在語(yǔ)義模型的基礎(chǔ)上靜態(tài)模擬應(yīng)用程序的執(zhí)行過(guò)程。靜態(tài)模擬執(zhí)行從選定的入口函數(shù)開(kāi)始，進(jìn)行過(guò)程內(nèi)分析和基于摘要的過(guò)程間分析，在函數(shù)調(diào)用圖上完成對(duì)所有執(zhí)行路徑的模擬。對(duì)靜態(tài)模擬執(zhí)行當(dāng)中存在的一些難點(diǎn)問(wèn)題研究了可

3、行的解決方案，如接口函數(shù)調(diào)用、回調(diào)機(jī)制、多線程機(jī)制、反射機(jī)制等。
　　 本文將上述方法實(shí)現(xiàn)了一個(gè)靜態(tài)流敏感分析引擎，實(shí)現(xiàn)污點(diǎn)分析器和常量分析器，用來(lái)檢測(cè)Android應(yīng)用程序當(dāng)中存在的隱私竊取行為和資費(fèi)消耗行為。污點(diǎn)分析器使用靜態(tài)污點(diǎn)傳播算法，主要用于檢測(cè)隱私竊取行為;常量分析器采用常量分析技術(shù)，分析應(yīng)用程序?qū)ΤＡ恐档氖褂们闆r，主要用來(lái)檢測(cè)資費(fèi)消耗行為。
　　 為了驗(yàn)證方法的有效性，本文實(shí)現(xiàn)一個(gè)原型工具Hamba，使用該