A Method of Dynamic Tag Processing Control Dependency

A technology that controls dependencies and dynamics, and is applied in the fields of software engineering and information security to achieve the effects of improving path coverage, facilitating implementation, and reducing the impact of taint loss

Active Publication Date: 2018-11-16
INST OF SOFTWARE - CHINESE ACAD OF SCI
View PDF2 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0006] The technical problem of the present invention is to overcome the deficiencies of the prior art, and provide a method for dynamically marking and processing control dependence, which mainly deals with the problem of control dependence in dynamic taint analysis. During the process of dynamic taint analysis on binary programs, dynamic Identify the polluted data caused by the control dependency problem, mark and disseminate it, alleviate the impact of polluted missing, and improve the path coverage of the test

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 Method of Dynamic Tag Processing Control Dependency
  • A Method of Dynamic Tag Processing Control Dependency
  • A Method of Dynamic Tag Processing Control Dependency

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0027] The specific implementation manners of the present invention will be described in detail below in conjunction with the accompanying drawings.

[0028] figure 1 What is shown is the flow chart of the method of dynamically handling the control dependency problem in dynamic taint analysis. Below we will introduce two main aspects in detail.

[0029] (1) Perform dynamic pollution analysis on the program, use the Valgrind framework to perform instrumentation operations on the tested binary program, use external input files as pollution sources, track the transmission path of the pollution, and finally obtain the dynamic execution trajectory of the program. Then analyze the characteristics of the Valgrind intermediate language VEX IR and the dynamic execution trajectory of the program, and formulate the corresponding pollution propagation rules for the problem of control dependence.

[0030] Use the Valgrind framework to realize the instrumentation operation of the binary pr...

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 relates to a method for processing control dependence employing dynamic marking. A critical step for realizing a dynamic stain analysis process is to realize an instrumentation operation on a binary program through a valgrind frame. According to the method, a method for processing a particular type of control dependence problem is firstly provided through analyzing the characteristics of a valgrind intermediate language and a dynamic running track of the binary program; a corresponding pollution propagation rule is made; the pollution propagation rule aiming at the control dependence problem is applied to the dynamic stain analysis process to recognize and spread implicit information; the pollution absence phenomenon is relieved; a condition jump tree of a tested program is finally established by a dynamic stain analysis method; and a test case aiming at each path is generated, so that the path coverage rate on the tested program is improved.

Description

technical field [0001] The invention relates to a method for dynamically marking processing control dependencies, which belongs to the fields of software engineering and information security. Background technique [0002] The dynamic taint analysis technology was first proposed by Professor Dorothy E. Denning in 1976. It refers to marking the data acquired by the program from the outside as a taint, and then observing the spread of the taint during program execution, so as to obtain information such as information flow in the program. It is an effective means to determine the relationship between instructions and instructions, instructions and data in software codes, and is widely used in software security analysis research such as malware analysis and attack code detection. [0003] Dynamic taint analysis technology can effectively track the trajectory of input data during program operation. By marking the external input data as taint and recording the propagation trace of...

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 Patents(China)
IPC IPC(8): G06F11/36
Inventor 马恒太王雪飞杨克李小凤
Owner INST OF SOFTWARE - CHINESE ACAD OF SCI
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