一种启动方式敏感的Android应用返回栈状态静态模拟方法

摘要

一种启动方式敏感的Android应用返回栈状态静态模拟方法。该方法包括：从Android应用AndroidManifest.xml文件中提取部分返回栈状态相关配置，并通过为每个Activity类构造一个对象的堆内存分配点以及依据控制流组织每个Activity对象被重写的回调函数调用顺序为Android应用构造辅助主函数；通过对辅助主函数进行指向分析提取Activity启动关系中的目标Activity类和返回栈状态相关配置，从而构建Activity对象的启动图；基于Activity启动图构造返回栈状态变迁图。返回栈状态变迁图能支持多种上层应用，如GUI模型构建、GUI测试、漏洞挖掘、缺陷检测等，且避免当前启动方式不敏感的Activity跳转分析造成的非法路径问题。