Unlock instant, AI-driven research and patent intelligence for your innovation.

A Tracking Method of Pollution Variables

A technology of variables and processing functions, applied in the field of pollution variable tracking, can solve problems such as abnormal operation of device drivers, and achieve the effect of improving reliability

Active Publication Date: 2014-10-22
TSINGHUA UNIV
View PDF1 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

When a hardware device fails, the wrong register value will be provided to the device driver, which will cause the device driver to work abnormally

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 Tracking Method of Pollution Variables
  • A Tracking Method of Pollution Variables
  • A Tracking Method of Pollution Variables

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0034] The specific implementation manners of the present invention will be further described in detail below in conjunction with the accompanying drawings and embodiments. The following examples are used to illustrate the present invention, but are not intended to limit the scope of the present invention.

[0035] figure 1 It is a flow chart of the pollution variable tracking method described in the embodiment of the present invention. Such as figure 1 As shown, the method comprises the steps of:

[0036] A: Store the function that directly reads the register data of the target device as a tainted function in the tainted function library, and establish a variable assignment relationship diagram, a function call relationship diagram, and a function called relationship diagram based on the target device driver source code, and create a tainted function for storing The result graph of variables and corresponding assignment relationships and the pending function queue for stor...

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 discloses a tainted variable tracking method, which relates to the field of equipment drivers, and includes the steps: B, finding a first tainted variable, storing the first tainted variable into a result graph and storing functions of the first tainted variable into a to-be-processed function queue; C, taking out a to-be-processed function, judging whether the to-be-processed function includes a new second tainted variable or not, storing the new second tainted variable and a corresponding assignment relationship into the result graph, putting back the to-be-processed function and performing a step D if the to-be-processed function includes the new second tainted variable, otherwise, directly performing the step D; D, judging whether the to-be-processed function includes a new third tainted variable or not, storing the new third tainted variable and a corresponding assignment relationship into the result graph, putting corresponding functions of the third tainted variable into the to-be-processed function queue and performing a step E if the to-be-processed function includes the new third tainted variable, otherwise, directly performing the step E; and E judging whether the to-be-processed function queue is empty or not, outputting the result graph if the to-be-processed function queue is empty, otherwise, performing the step C. By the aid of the method, reliability of the equipment drivers and hardware equipment can be enhanced.

Description

technical field [0001] The invention relates to the technical field of device driving, in particular to a pollution variable tracking method. Background technique [0002] Reliability is an important goal of an operating system. 85% of Windows XP operating system failures are caused by device drivers. The failure frequency of Linux operating system device drivers is more than 3-7 times that of other parts. Studies have shown that device driver failure is the main cause of operating system failure. A study of Windows servers found that in 8 percent of systems, storage devices or network adapters would fail. 9% of Microsoft's servers were forced to reboot due to hard disk or network adapter failures. [0003] Therefore, it is of great significance to check the error of the device in the device driver to improve the reliability of the operating system. When a hardware device fails, it will provide wrong register values ​​to the device driver, which will cause the device dr...

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/34
Inventor 王瑀屏胡事民马超阎栋
Owner TSINGHUA UNIV