Title
Advanced graph model for tainted variable tracking
Abstract
The reliability of hardware devices is of critical importance to the overall stability of operating systems. Drivers assume that hardware devices always work normally, but this assumption may cause drivers or systems to crash, since hardware device failures occur frequently. This can lead to incorrect values for drivers and cause them to malfunction. This paper proposes an advanced graph model for tainted variable tracking. The proposed approach can efficiently find variables, which are related to values read from hardware devices. It can also be used for variable assignment tracking, which is of great benefit in improving the reliability of hardware devices and drivers.
Year
DOI
Venue
2013
10.1007/s11432-012-4674-8
SCIENCE CHINA Information Sciences
Keywords
DocType
Volume
tainted variable,reliability,device failure
Journal
56
Issue
ISSN
Citations 
11
1869-1919
2
PageRank 
References 
Authors
0.35
13
4
Name
Order
Citations
PageRank
chao ma130.70
Dong Yan2176.40
yuping wang36012.60
Shi-Min Hu43466188.22