Program detecting system and method based on directional symbol execution on mobile intelligent terminal
A mobile intelligent terminal and directional symbol technology, applied in the field of computer applications, can solve the problems of low test code coverage, many processes, and affecting detection efficiency, etc.
Inactive Publication Date: 2015-05-13
PEKING UNIV
View PDF1 Cites 0 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
The former method often has relatively low test code coverage; the latter two methods will lead to too many processes, and the CPU, memory and other resources of the smartphone are often not sufficient, which often results in low process execution efficiency, which seriously affects Detection efficiency, this method is not practical on the mobile platform
Method used
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View moreImage
Smart Image Click on the blue labels to locate them in the text.
Smart ImageViewing Examples
Examples
Experimental program
Comparison scheme
Effect test
Embodiment Construction
[0036] figure 1 The schematic diagram of modules in the directional symbol execution program detection system in the present invention includes:
[0037] The symbolic processing module is used to symbolize the target variables in the program to be detected, record them in the symbol table (SymbolicTable), and modify the original execution mode of system instructions, so that the system performs symbolic operations when encountering symbolic variables;
[0038] The API simulation module is responsible for simulating some necessary system API interfaces to prevent the execution of the target process from crashing after being inserted into symbolic processing; it can also be based on the detection intent; the detection intent is determined by the implementer of the system, and one implementation only can be aimed at an intention. Give the expected call return value;
[0039] The directional control module precisely executes the given path. This module inserts special processing...
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More PUM
Login to View More Abstract
The invention provides a program detecting system and method based on directional symbol execution on a mobile intelligent terminal. The method includes the following steps: in an environment composed of a symbolization processing module, a system application program interface (API) analog module, a directional control module and a filter execution module, (1) loading a path of a to-be-detected program, performing symbolization processing on instructions in the path of the to-be-detected program by the symbolization processing module, and storing the processing result to a Symbolic Table; (2) determining detected code space according to the to-be-detected path; (3) recording constraint conditions for variable execution according to the execution process and updating the record in the Symbolic Table; (4) finding corresponding result expressions or symbol values according to the constraint conditions in the Symbolic Table, and determining whether an executable path exists in the program; and (5) repeating (1) to (4), traversing all the executable paths in the program and finishing suspicion operation detection in software. The directional symbol execution method is combined with the static analysis technique to solve failure and false reports of paths in program analysis and extract all the possible paths which can be covered by the path constraints.
Description
technical field [0001] The invention belongs to the technical field of computer applications, and relates to a computing program detection technology on a mobile smart terminal, in particular to a mobile smart terminal computer program detection technology based on symbol execution. Background technique [0002] With the rapid development of the mobile Internet and the gradual popularization of smart phones, various smart phone application software has begun to affect all aspects of people's work and life, such as: mobile game software, mobile SNS software, mobile IM software, mobile payment software and mobile positioning service software and so on. At present, the two main camps of smartphone operating systems are Apple's iOS system and Google's Android system. Both systems provide application stores or electronic markets, making it easy for end users to download a large number of software and install it on their phones. . [0003] However, due to the rise of the free mo...
Claims
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More Application Information
Patent Timeline
Login to View More Patent Type & Authority Patents(China)
IPC IPC(8): G06F11/36
Inventor 龚晓锐杨广亮韩心慧邹维
Owner PEKING UNIV