Android系统的安全性问题在移动安全领域受到的关注度一直较高。近年来,Android恶意软件开始将攻击行为由Java层扩大到Native层,以躲避大部分静态检测。Java层与Native层代码分别由Java语言与C/C++语言编写,因此跨语言安全性分析成为了 Android软件静态检测中的重要一环。在安全性分析研究领域,目前仅有少部分研究成果包含了跨语言安全性分析功能,同时他们也存在较大的局限性。Android跨语言安全性分析由Java层解析调用Native层解析配合完成。其中,Native层解析作为核心内容完成了对软件中跨语言调用流程的处理。本文研究发现,现有成果中Native层静态解析框架的工作只能依赖于Java层解析,自身无法独立运行。为了改善这一情况,本文对现有框架进行了优化,以下是本文的工作内容。1.研究实现了一种JNI-Entry解析技术。本文研究Android系统中跨语言调用过程,提出并实现了对JNI注册过程的解析方法。针对动态注册,本文研究采用符号执行技术解析.so文件,完成对动态注册信息的获取;针对静态注册,本文利用其在Native层的符号名特征,加之逆向技术与Java源码解析技术,完成对静态注册信息的获取。该工作能够使得框架在脱离Java层解析的条件下,解析出跨语言调用涉及的所有JNI入口列表信息,该信息是Native层其他安全性分析工作的必要条件。2.研究并提出关键信息缺失反馈机制。本文研究了现有Native层污点摘要解析的实现原理,提出现有框架在独立运行条件下存在的关键信息缺失问题。针对该问题,本文研究利用angr框架中Annotation机制,实现了对缺失信息的Java层来源定位,并将之作为反馈机制放入了污点摘要解析的解析结果中。该工作能够使得Native层框架在不需要与Java层框架进行数据交互的情况下提供内容完整的解析结果,实现与Java层框架的完全解耦。3.研究实现了一种JNI-Hook解析技术并加入到现有框架之中。本文研究了工业上一种常用JNI-Hook技术,根据其实现过程中修改特定内存的特征,本文设计并实现了一种基于符号执行的JNI-Hook解析技术,利用内存伪造与内存监听等功能,能够对Native层发生的JNI-Hook行为进行检测。本改进点拓展了框架的功能覆盖范围。