DSpace About DSpace Software
 

DSpace at Cochin University >
Department of Computer Science >
Seminar Reports >
MTech 2009-2011 Batch >

Please use this identifier to cite or link to this item: http://hdl.handle.net/123456789/3504

Title: Exterminator: Automatically Correcting Memory Errors with High Probability
Authors: NISHAMOL P H
Keywords: Memory Error Correction
Issue Date: 10-Jun-2011
Abstract: Programs written in C and C++ are susceptible to memory errors,including buffer overflows and dangling pointers. These errors,which can lead to crashes, erroneous execution, and security vulnerabilities, are notoriously costly to repair. Tracking down their location in the source code is difficult, even when the full memory state of the program is available. Once the errors are finally found, fixing them remains challenging: even for critical security-sensitive bugs, the average time between initial reports and the issuance of a patch is nearly one month. We present Exterminator, a system that automatically corrects heap-based memory errors without programmer intervention. Exterminator exploits randomization to pinpoint errors with high precision. From this information, Exterminator derives runtime patches that fix these errors both in current and subsequent executions. In addition, Exterminator enables collaborative bug correction by merging patches generated by multiple users. We present analytical and empirical results that demonstrate Exterminator’s effectiveness at detecting and correcting both injected and real faults.
URI: http://hdl.handle.net/123456789/3504
Appears in Collections:MTech 2009-2011 Batch

Files in This Item:

File Description SizeFormat
Exterminator- Automatically Correcting Memory Errors with High Probability.pdf824.76 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback