随着移动互联网的发展,移动设备逐渐成为互联网最大的流量入口,而用户基数较大的Android设备是其中的主力军。伴随Android应用程序在数量与体量上的不断增长,安全问题也层出不穷。一方面,由于Android系统的开源特性,人们对Android应用程序的反编译难度较低,很多厂商纷纷采用加固技术来保护应用程序的核心代码,因此加固也在不断发展,实现形式经历字节码动态加载、字节码不落地内存加载、类指令抽取等加固技术,其中后两者结合的混合加固技术比较常见。另一个方面,Android应用程序中的安全威胁严重影响了人们的信息安全。加固技术虽然增加了字节码的逆向难度,但是也增加了安全分析人员对应用程序的安全评估难度。当前对Android应用程序安全威胁检测的方法主要集中在静态分析技术,其中包括以模式匹配为主的浅层分析（shallow analysis）和以污点分析为主的深层分析（deep analysis）。然而浅层分析以smali代码为模式匹配的分析对象,忽略了代码的上下文语义信息,忽略了对控制流不可达函数的处理,存在检测准确率低和无意义分析时间增加的问题;深层分析对全量代码采用数据流分析,存在硬件资源要求高和分析效率低的问题。为了解决上述问题,本文研究并实现一种面向Android加固应用的安全威胁检测技术。本文的主要贡献如下:（1）本文设计了基于类方法模拟执行和重组DEX字节码的脱壳方案,首先分析了传统的加固技术与当前主流加固技术的原理;其次分析了Android 6.0系统中的类加载与初始化过程、类方法执行过程;最后基于以上分析,设计一种针对当前主流加固技术的脱壳方案,降低了安全分析人员对应用程序的安全评估难度。（2）本文分析了当前针对Android应用程序的静态安全威胁检测技术存在的问题并提出了设计目标,针对设计目标提出一种基于控制流分析与数据流分析的安全威胁检测方案,方案以Jimple为分析目标,使用过程内数据流分析,解决了浅层分析中准确率低与深层分析中分析效率低的问题。（3）在上述方案的基础上,本文实现了一种针对Android加固应用程序的安全威胁检测系统,该系统首先使用基于Android平台实现的脱壳系统还原应用程序真实的字节码,接着使用基于Java平台实现的安全威胁检测系统对还原了真实字节码的APK文件进行安全威胁检测。并完成了系统功能、准确率和性能测试,结果显示,本文所设计的方案和实现的系统达到了设计目标。