Android應(yīng)用程序的隱式控制流分析.pdf

1、為了保護(hù)智能手機(jī)免受惡意代碼的攻擊，學(xué)術(shù)界在Android惡意代碼檢測(cè)方面進(jìn)行了大量的研究，所采用的技術(shù)大體上可以分為靜態(tài)分析和動(dòng)態(tài)分析兩個(gè)方面?？刂屏鞒虉D是靜態(tài)分析中的一個(gè)重要組成部分，本文主要研究如何構(gòu)建Android應(yīng)用程序的控制流程圖。由于Android是一個(gè)基于事件和框架的系統(tǒng)，應(yīng)用程序中存在著大量的隱式調(diào)用，這是靜態(tài)分析工具構(gòu)建控制流程圖過(guò)程中面臨的一個(gè)比較大的挑戰(zhàn)。目前的靜態(tài)分析工具只是對(duì)一些比較流行的隱式調(diào)用進(jìn)行建模（如

2、生命周期回調(diào)方法），我們發(fā)現(xiàn)這種做法是不充分的，惡意軟件可以通過(guò)不流行的隱式控制流繞過(guò)軟件檢測(cè)。
　　本文主要結(jié)合工具EdgeMiner提供的Android“框架層”中隱式調(diào)用的API總結(jié)，利用過(guò)程內(nèi)后向數(shù)據(jù)流分析技術(shù)，提取Android“應(yīng)用層”中所有與回調(diào)方法相關(guān)的隱式調(diào)用。結(jié)合應(yīng)用程序中的顯式控制流和其他的隱式控制流，我們開(kāi)發(fā)出了一款比較精確的，可擴(kuò)展的原型工具用來(lái)構(gòu)建Android應(yīng)用程序的控制流程圖。
　　本文的主

3、要工作和貢獻(xiàn)有:
　　(1)提出了一種自動(dòng)化分析Android應(yīng)用程序中與回調(diào)方法相關(guān)的隱式調(diào)用方法，該方法根據(jù)“框架層”中隱式調(diào)用關(guān)系來(lái)提取Android“應(yīng)用層”中隱式調(diào)用，克服了現(xiàn)有方法在提取隱式控制流上的不足。
　　(2)實(shí)現(xiàn)了一個(gè)輕量級(jí)的控制流程圖構(gòu)建工具，對(duì)每一個(gè)給定的應(yīng)用程序，可以為其構(gòu)建精確的控制流程圖，包括傳統(tǒng)的過(guò)程內(nèi)控制流程圖、過(guò)程間顯式控制流程圖和過(guò)程間隱式控制流程圖。該工具使用Python語(yǔ)言開(kāi)發(fā)，生

4、成的控制流程圖可應(yīng)用于后續(xù)更加精確的靜態(tài)分析，如數(shù)據(jù)流分析。
　　(3)在Google Play上的200個(gè)（10個(gè)分類）免費(fèi)熱門(mén)Android應(yīng)用軟件上進(jìn)行了實(shí)驗(yàn)，驗(yàn)證了該工具的有效性。與當(dāng)前比較著名的靜態(tài)分析工具FlowDroid和Amandroid作對(duì)比，本文的工具可以發(fā)現(xiàn)更多的隱式控制調(diào)用關(guān)系。
　　對(duì)于給定的Android應(yīng)用程序，在有了精確的控制流程圖的基礎(chǔ)上，研究人員可以完成后續(xù)的靜態(tài)分析工作。由于控制流程圖的