Detection method for mobile-platform application software

Abstract

The invention discloses a mobile-software detection method based on semantic analysis, symbolic execution, theorem proving and static data flow analysis. The mobile-software detection method sets tags for different mobile application software on the basis of results of software detection and finally builds a safety application warehouse. According to the syntax characteristics of mobile application, a common syntax tree and an abstract syntax tree are built for the mobile application, a symbolic execution mode is used for realizing program execution of the whole-path coverage, static logic symbols are used for simulating dynamic program execution, and the problem that malicious software of the mobile platform breaks out by areas and time intervals to cause reproduction of malicious attack behaviors in normal operation is solved; and technical means of theorem proving and static data flow analysis are used for analyzing a result of symbolic execution, and an obtained analysis result is used for detecting the safety weakness of mobile application, syntax errors possibly causing crash of programs and whether the malicious behaviors exist; and the mobile application is divided into safe application, fragile application and malicious application.

Description

technical field [0001] The invention designs a detection method of mobile platform application software, which is implemented by comprehensively utilizing software programming technology, program analysis technology, network service technology encryption and decryption technology and mobile communication technology, and can be used to detect security weaknesses of mobile applications and grammatical errors that may cause program crashes And whether there is malicious behavior; and finally build a safe application warehouse to provide a trusted application market for the mobile Internet era and protect the information and asset security of mobile platform users. Background technique [0002] Currently, mobile devices mounted on smart operating systems have been widely used. With the development of smart mobile terminals, security issues on mobile platforms have become increasingly prominent, and the number of vulnerable applications and malware has exploded. However, none of...

AI Technical Summary

Problems solved by technology

[0004] Aiming at the predicament of the prior art, the present invention proposes a detection method for mobile platform application software, which completely solves the problem that the mobile platform malicious software breaks out in different regions and time periods, resulting in the failure to reproduce malicious attack behavior in normal operation, and improves the efficiency of software application implementation. safety

Images