[发明专利]一种基于回调函数建模自动生成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.的并行回调序列。

2.根据权利要求1所述的基于回调函数建模自动生成Android应用回调序列的方法，其特征在于步骤1所述的Android回调信息库包含白名单集、注册关系集、释放注册关系集、组件间跳转函数集和回调函数集。

3.根据权利要求1所述的基于回调函数建模自动生成Android应用回调序列的方法，其特征在于步骤4所述的生成由注册或释放注册引起的非生命周期回调序列，首先识别由注册或释放注册动作的关键连接点，即关键连接函数的调用语句，关键连接函数集合定义在Android回调信息库中；以函数-回调映射列表为辅助来获取该连接点的前驱回调函数；通过识别关键连接函数的参数获取后继节点集；对于每一组前驱和后继的注册回调关系，为lifecycle->non-lifecycle关系生成onActiveStart->invokee->onActiveEnd串行回调序列，其中invokee为被注册的后继回调，为non-lifecycle->non-lifecycle关系生成invoker->invokee->onActiveEnd串行回调序列，其中invoker是前驱节点。

4.根据权利要求1所述的基于回调函数建模自动生成Android应用回调序列的方法，其特征在于步骤5所述的生成跳转链接，首先识别Activity跳转动作和Service跳转动作的关键连接点；为每一个关键连接点生成跳转链接，所述跳转链接包含链接类型、关键连接点前驱回调invoker、连接点所在组件，即前驱组件A及其类型、转到的目的组件，即后继组件B及其类型七个属性，其中链接类型集合为{connection_activity，connection_service，connection_stop_service}。