Automatic Error Elimination by Multi-Application Code Transfer
Author(s)
Sidiroglou-Douskos, Stelios; Lahtinen, Eric; Long, Fan; Piselli, Paolo; Rinard, Martin
DownloadMIT-CSAIL-TR-2014-024.pdf (316.5Kb)
Other Contributors
Program Analysis
Advisor
Martin Rinard
Terms of use
Metadata
Show full item recordAbstract
We present pDNA, a system for automatically transferring correct code from donor applications into recipient applications to successfully eliminate errors in the recipient. Experimental results using three donor applications to eliminate seven errors in four recipient applications highlight the ability of pDNA to transfer code across applications to eliminate otherwise fatal integer overflow errors at critical memory allocation sites. Because pDNA works with binary donors with no need for source code or symbolic information, it supports a wide range of use cases. To the best of our knowledge, pDNA is the first system to eliminate software errors via the successful transfer of correct code across applications.
Date issued
2014-08-11Series/Report no.
MIT-CSAIL-TR-2014-024
Keywords
Automatic Program Repair
Collections
The following license files are associated with this item: