Advanced graph model for tainted variable tracking

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 incorre...

Full description

Saved in:
Bibliographic Details
Published in:Science China. Information sciences 2013-11, Vol.56 (11), p.200-211
Main Authors: Ma, Chao, Yan, Dong, Wang, YuPing, Hu, ShiMin
Format: Article
Language:English
Subjects:
China
Computer Science
Crashes
Device driver programs
Devices
Graphs
Hardware
Information Systems and Communication Service
Mathematical models
Reliability
Research Paper
Tracking
可靠性
图形模型
整体稳定性
污点
硬件设备
设备故障
跟踪
驱动程序
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1674-733X
1869-1919
DOI:10.1007/s11432-012-4674-8