Method, system, device, and storage medium for detecting memory after use
A detection method and memory technology, applied in error detection/correction, software engineering design, special data processing applications, etc., to achieve the effect of reducing false alarms and efficient detection
Active Publication Date: 2020-12-22
SHENZHEN QIANHAI SOURCEBRELLA INC LTD
View PDF6 Cites 0 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
[0014] Aiming at the problems in the prior art, the object of the present invention is to provide a detection method, system, equipment and storage medium using released memory, overcome the difficulties of the prior art, and judge the path and path constraints in the symbolic expression diagram , which efficiently detects bugs that use freed memory
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
[0079] Example embodiments will now be described more fully with reference to the accompanying drawings. Example embodiments may, however, be embodied in many forms and should not be construed as limited to the embodiments set forth herein. Rather, these embodiments are provided so that this disclosure will be thorough and complete, and will fully convey the concept of the example embodiments to those skilled in the art. The same reference numerals denote the same or similar structures in the drawings, and thus their repeated descriptions will be omitted.
[0080] "First", "second" and similar words used in the present disclosure do not indicate any order, quantity or importance, but are only used to distinguish different components. "Comprising" or "comprising" and similar words mean that the elements or items appearing before the word include the elements or items listed after the word and their equivalents, without excluding other elements or items. Words such as "connect...
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 detection method, system, device and storage medium using released memory, the method comprising the following steps: inputting a program to be detected; generating a symbolic expression graph of each function in the program, the symbolic expression graph includes nodes and Edges connecting nodes, nodes include value nodes and operator nodes, edges include data dependency edges and control dependency edges, where data dependency edges are directional that connect nodes to value nodes that have direct data dependencies The edge of the control dependency edge is the directed edge that connects the variable to the condition when there is a condition that limits the variable; detects the path from the source node that performs the memory release operation source to the object node that performs the memory release operation object in the symbolic expression graph If all the constraint conditions are satisfied, then the memory defects after use and release are found. The present invention can efficiently detect the defects of the memory after use and release by using the path in the symbolic expression graph and the judgment of the path constraint conditions.
Description
technical field [0001] The invention relates to the field of program detection, in particular to a detection method, system, equipment and storage medium using released memory. Background technique [0002] UAF (UseAfterFree, re-reference after release) vulnerability is a kind of very harmful vulnerability. The UAF vulnerability can cause the freed memory space to be written into controllable data and then referenced as a pointer again, which in turn gives the attacker the opportunity to control the execution process of the system and execute malicious code. In order to improve the security of the system, it is necessary to verify the UAF vulnerability in the mobile terminal operating system to determine whether there is a specific UAF vulnerability in the mobile terminal operating system, find out the exploitable path, and evaluate the exploitability of this vulnerability . [0003] Using freed memory (Use after Free) can lead to different consequences, including program ...
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): G06F21/57
CPCG06F8/434G06F11/3624G06F11/3688G06F11/3692G06F11/3608G06F11/366G06F21/577G06F21/562G06F2221/033G06F8/433G06F11/3604G06F16/9024
Inventor 肖枭时清凯周金果范刚
Owner SHENZHEN QIANHAI SOURCEBRELLA INC LTD