伴随着移动互联网的飞速发展,移动应用软件已经渗透到社会的各行各业中并在人们生活中起的作用也越来越重要,同时移动应用软件相关的安全问题也随之而来。在移动应用终端上,以Androi d作为系统的终端占了大部分市场份额,而由于Android系统的开放性问题,Android平台上的恶意软件问题较之其他平台更加严重。面对日益复杂的恶意应用软件,如何对移动应用软件进行有效的分析成为当今研究的重点。目前对于移动应用软件的分析并不少见,然而基本都停留在源代码层面,由于Android系统库及组件等Android系统特有模块与J ava源码语法不兼容的原因,反编译得到的源代码存在着大量的信息丢失的问题,造成中间建模的困难和分析结果的不完整。中间语言s mali与源代码相比,能够完整的保留应用软件中的信息,做到无偏差分析,且耗费的时间也少得多。本文对移动应用软件整体文件进行深入分析,同时对smali语言的语法结构等进行调研分析后,在此基础上通过对移动应用软件静态检测流程的分析,最终设计并实现了一个基于中间语言smali的移动应用软件静态检测系统。该系统主要包括预处理模块和基于中间语言smali的行为分析模块,这些模块分别完成了快速判断移动应用软件中是否存在敏感行为以及对移动应用软件中可能存在的敏感行为进行详细的行为分析的功能。本文的研究成果主要体现在以下方面:1.针对移动应用软件本身及其可执行文件进行深入研究与分析,提出了一种预处理方法,能够快速准确的对移动应用软件中是否存在敏感行为进行初步预判。2.通过对中间语言smali语法分析,提出了一种基于中间语言s mali的敏感行为静态检测方法。该方法对中间语言smali进行建模,进行控制流、数据流信息提取,进行行为分析,对移动应用软件中出现的敏感行为进行检测。通过分析实验表明,该方法比基于源代码的静态检测方法有显著的效率提升及一定准确率的提高。