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

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

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

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

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