Automatic Detection and Masking of Nonatomic Exception Handling
IEEE Transactions on Software Engineering
Information Assurance: Dependability and Security in Networked Systems
Information Assurance: Dependability and Security in Networked Systems
Challenges in making pervasive systems dependable
Future directions in distributed computing
On enhancing the robustness of commercial operating systems
ISAS'04 Proceedings of the First international conference on Service Availability
A systematic review of software robustness
Information and Software Technology
Hi-index | 0.00 |
As our reliance on computers increases, so does the need for robust software. Previous studies have shown that many C libraries exhibit robustness problems due to exceptional inputs. This paper describes the HEALERS system that uses an automated approach to increasing the robustness of C libraries without source code access. The system extracts theC type information for a shared library using header files and manual pages. Then it generates for each global function a fault-injector to determine a "robust" argument type for each argument. Based on this information and optionally, some manual editing, the system generates a robustness wrapper that performs careful argument checking before invoking C library functions. A robustness evaluation using Ballista tests has shown that our wrapper can prevent crash, hang, and abort failures. Moreover, the wrapper generation process is highly automated and can easily adapt to new library releases.