Automated Derivation of Application-aware Error Detectors using Static Analysis

TitleAutomated Derivation of Application-aware Error Detectors using Static Analysis
Publication TypeConference Paper
Year of Publication2007
AuthorsPattabiraman, K., Z. Kalbarczyk, and R. K. Iyer
Conference NameOn-Line Testing Symposium, 2007. IOLTS 07. 13th IEEE International
Pagination211 -216
Date Publishedjul.
Keywordsapplication-aware error detectors, automated derivation, backward program slice, program slicing, static analysis

This paper presents a technique to derive and implement error detectors to protect an application from data errors. The error detectors are derived automatically using compiler-based static analysis from the backward program slice of critical variables in the program. Critical variables are defined as those that are highly sensitive to errors, and deriving error detectors for these variables provides high coverage for errors in any data value used in the program. The error detectors take the form of checking expressions and are optimized for each control flow path followed at runtime. The derived detectors are implemented using a combination of hardware and software. Experiments show that the derived detectors incur low performance overheads while achieving high detection coverage for errors that impact the application.


a place of mind, The University of British Columbia

Electrical and Computer Engineering
2332 Main Mall
Vancouver, BC Canada V6T 1Z4
Tel +1.604.822.2872
Fax +1.604.822.5949

Emergency Procedures | Accessibility | Contact UBC | © Copyright 2021 The University of British Columbia