Method for automatically generating Android application callback sequence on basis of callback function modeling

Abstract

The invention discloses a method for automatically generating an Android application callback sequence on the basis of callback function modeling. A life cycle callback function, a GUI callback function and a system driving callback function are considered according to the method. The method comprises the following steps: on the basis of a pre-designed and established Android callback information base, performing function-callback mapping pretreatment on a source program, thereby acquiring essential data required by modeling, such as, a callback set, a non-callback set and a function-callback mapping list, and then performing uniform abstraction on the life cycle callback relation, the register relation and the inter-component skipping relation in an application component and generating a callback sequence model. The method for automatically generating the Android application callback sequence on the basis of callback function modeling provided by the invention is complete and uniform in modeling, is high in executing speed and is proved as reliable in practice. The method can be applied to the fields of static analysis and internal callback modeling of the application program on an Android platform.

Description

[0001] 【Technical field】 [0002] The invention belongs to the technical field of static analysis and internal callback modeling of an application program on an Android platform, and in particular relates to a method for automatically generating an Android application callback sequence based on callback function modeling. [0003] 【Background technique】 [0004] Currently mobile devices have become an essential part of people's lives. In order to meet people's increasing application requirements, applications on mobile devices emerge in an endless stream. Among them, the number of applications based on the Android platform is huge and continues to grow, and a large number of applications on the Android platform have been proven to have functional or security problems. Therefore, ensuring the correctness of mobile application functions and the security of use has increasingly become a key requirement of people. [0005] To perform security inspection and static analysis on And...

AI Technical Summary

Problems solved by technology

Therefore, the callback function sequence can solve logic problems caused by event uncertainty, such as event exceptions, callback function sequence violations, etc., and these problems are difficult to solve using traditional analysis techniques

[0008] 2) The processing work of the existing callback function sequence is only goal-oriented

The reason for this is that it is difficult to find a uniform sequential pattern

For example, detecting the change state of some controls must deal with its transfer relationship between different components. It is difficult to unify the change of controls and the transfer actions between components. An incomplete model sequence makes the analysis results prone to errors

Second, different types of logic defects often exist in the same program block

Parts of the current construction methods cannot be addressed with a general approach, severely limiting their usefulness

In addition, partial construction also makes it difficult to apply the constructed sequence model to other scenarios

Images