A detection method, system and device using the released memory and a storage medium

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: 2019-03-05
SHENZHEN QIANHAI SOURCEBRELLA INC LTD
View PDF6 Cites 5 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 more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • A detection method, system and device using the released memory and a storage medium
  • A detection method, system and device using the released memory and a storage medium
  • A detection method, system and device using the released memory and a storage medium

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

No PUM Login to view more

Abstract

The invention provides a detection method, system and device using the released memory and a storage medium. The method comprises the following steps of inputting a program to be detected; generatinga symbolic expression diagram for each function in the program, wherein a symbolic expression graph consists of nodes and edges that connect nodes, the node includes a value node and an operator node,and the edge includes a data dependency edge and a control dependency edge, wherein the data dependency edge is a directional edge connecting the node to a value node with which it has a direct datadependency relationship, and the control dependency edge is a directional edge connecting the variable to the condition when there is a condition defining the variable; detecting whether the constraint conditions of the path from the source node of the symbolic expression graph to the object node of the object in which the memory release operation is performed are met, If so, finding a memory defect after the use of the released memory. The invention can efficiently detect the defect after the use of the released memory by utilizing the judgment of the path and the path constraint conditions in the symbol expression diagram.

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
no application Login to view more
Patent Type & Authority Applications(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
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap