Loading...
Please wait, while we are loading the content...
Similar Documents
Exterminator : Automatically Correcting Memory Errors
| Content Provider | Semantic Scholar |
|---|---|
| Author | Novark, Gene Berger, Emery Zorn, Benjamin G. |
| Copyright Year | 2006 |
| 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 and replication to pinpoint errors with high precision. From this information, Exterminator derives runtime patches that fix these errors in current and subsequent executions. In addition, Exterminator enables collaborative bug repair by merging patches generated by multiple users. We present analytical and empirical results that demonstrate Exterminator’s effectiveness at detecting heap errors and correcting them, for both injected and real faults. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.cs.umass.edu/~emery/pubs/UMCS-2006-058.pdf |
| Alternate Webpage(s) | https://people.cs.umass.edu/~emery/pubs/UMCS-2006-058.pdf |
| Alternate Webpage(s) | http://www.cs.utexas.edu/users/speedway/DaCapo/talks-meeting-jan-2007/dacapo-exterm.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
