Android應用程序的隱式控制流分析.pdf

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

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

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

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