Android 应用软件的高效率静态分析

Android is an importantant platform for mobile applications. However, malware on mobile devices and the new characteristics of mobile applications are posing new challenges to the industry as well as academic research: requiring effective modeling and analysis techniques for detecting the bugs related to security and energy-consumption, which are the prominent issues of the state-of-art android applications; lack of highly-efficient analysis tools that can keep up with the pace of application release. Facing the challenges, we are going to divide the research work into several parts: (1) establish model for the event driven mobile application; (2) design light-weight and high-efficient static analysis techinques for analyzing specific bugs under the guidance of the established models; (3) handle the complexity of mobile input, and design specialized dynamic analyses, to inprove the effectiveness of static analyses, and (4)localize the confirmed bugs and fix them according the bug reports of static analysis. The successful conduction of our research will provide us with a systematic analysis and testing method for mobile applications, which will give a strong support for development process development and help improve the quality of mobile applications.

Android是目前重要的移动应用软件平台。然而，恶意应用的泛滥，还有移动应用展现出来的很多新特性，给应用软件的分析与测试研究提出了新的挑战：缺乏与当前主流真实移动应用规模相匹配的、面向安全和能耗等突出的问题的有效的建模与分析技术；缺乏适应工业级移动应用极短发布周期的高效率分析工具。针对这些新的挑战拟研究： 1)考虑移动应用的事件驱动下的多入口特点,进行有效的建模； 2)在模型指导下的针对特定类型错误的轻量级高效率静态分析； 3)设计针对具有多样性输入的移动应用的动态分析方法，改进静态分析的效果； 4)利用静态分析的结果定位程序的错误、修复程序。项目的成功实施，将会形成一套针对移动应用软件的系统性测试方法，为移动应用开发提供全方位分析与测试支持，改善移动应用的质量。

Android是目前重要的移动应用软件平台。本项目开展研究安卓应用的缺陷检测技术。我们开发了多了分析安卓应用软件包的基础性工具。针对多个具体的问题（暴露组件、异步类、能耗问题等），我们总结了典型缺陷类型，并进一步采用静态分析与动态分析结合的方法研究了相应的高效率缺陷检测技术。我们开发了一系列针对具体缺陷类型的静态错误检测和代码分析工具，这些工具能自动处理大规模安卓应用程序，批量检测代码中的错误。我们提交给开发者的部分报告的缺陷结果被认可并修复。实验结果表明，课题组发现的错误类型是现阶段安卓市场上软件中普遍存在的。本课题的研究成果能够有效检出安卓应用中的错误并给出缺陷报告，为移动应用开发提供全方位分析与测试支持，提高移动应用的质量。