[发明专利]一种基于回调函数建模自动生成Android应用回调序列的方法

摘要

本发明公开了一种基于回调函数建模自动生成Android应用回调序列的方法，该方法考虑了生命周期回调函数，GUI回调函数和系统驱动回调函数，在预先设计并搭建好的Android回调信息库基础上，对源程序进行函数‑回调映射预处理从而获取到回调集，非回调集和函数‑回调映射列表等建模所需基础数据，对应用组件内部的生命周期回调关系、注册关系和组件间的跳转关系进行了统一抽象并生成回调序列模型。本发明的这种基于回调函数建模自动生成Android应用回调序列的方法，建模全面统一，执行速度快，经过实践证明是可信的。可用于Android平台上应用程序的静态分析和内部回调建模领域。

主权项

1.一种基于回调函数建模自动生成Android应用回调序列的方法，其特征在于含有以下步骤：步骤1、搭建Android回调信息库；步骤2、以Android应用的smali类型源码为输入，进行函数‑回调映射预处理；步骤3、根据生命周期时序关系，生成生命周期回调序列；步骤4、识别注册或释放注册动作的关键连接点，生成由注册或释放注册引起的非生命周期回调序列；步骤5、识别Activity跳转及Service跳转动作的关键连接点，生成跳转链接；步骤6、生成由Activity跳转和Service跳转引起的非生命周期回调序列；步骤2所述的进行函数‑回调映射预处理的算法方法是，首先遍历由无用代码所构成的白名单之外的有效函数定义，标记每个函数的前驱与后继，识别搜索到的函数是否为回调函数，得到回调函数集合callbackSet以及被标记的开发者自定义的非回调函数集合funSignedSet；之后基于这两个集合，以每一个回调函数作为调用者，即前驱函数，依次搜索被调用者，即后继非回调函数，并且迭代搜索后继，直到没有后继的非回调函数，在遍历过程中，记录初始回调函数和整个搜索调用顺序从而生成函数‑回调映射列表的一条记录，该列表反映每一对非回调函数与其相应的回调入口的映射关系；步骤3所述的生成生命周期回调序列，以组件类型及组件源码作为输入，其中组件类型集合为{activity，service，receiver，other}，首先为每一个组件添加三个辅助节点onActiveStart，onActiveEnd以及onTerminal，用于标识组件的如下状态：运行开始，运行结束和销毁结束，以此来显式限定组件的活动域以及跳转时机；然后生成对应组件类型的完备生命周期图ELG；之后在步骤2得到的callbackSet集合中识别类型为生命周期回调函数的元素，这些元素再添加上onActiveStart，onActiveEnd以及onTerminal三个辅助节点构成被实现的生命周期回调函数节点lifeNodes，以ELG中所有节点为全集，求lifeNodes的补集得到未被实现的生命周期回调函数隐藏节点hiddenNodes；最后对每一个hiddenNode，将其父亲节点与子节点相连，即生成父节点‑>子节点的序列，并删除与该hiddenNode相关的序列，最终获得的ELG即为生命周期串行回调序列；步骤6所述的生成由Activity跳转和Service跳转引起的非生命周期回调序列，以步骤5生成的跳转链接为输入，为connection_activity类型的跳转链接生成A.onActiveEnd‑>B.init和B.onTerminal‑>A.onActiveStart的串行回调序列；为connection_service类型链接生成A.invoker‑>B.init的并行回调序列；为connection_stop_service类型链接生成B.onTerminal‑>A.的并行回调序列。