Automatic Error Elimination by Multi-Application Code Transfer
Author(s)
Sidiroglou-Douskos, Stelios; Lahtinen, Eric; Rinard, Martin
DownloadMIT-CSAIL-TR-2014-021.pdf (313.8Kb)
Other Contributors
Program Analysis
Advisor
Martin Rinard
Terms of use
Metadata
Show full item recordAbstract
We present Code Phage (CP), a system for automatically transferring correct code from donor applications into recipient applications to successfully eliminate errors in the recipient. Experimental results using six donor applications to eliminate nine errors in six recipient applications highlight the ability of CP to transfer code across applications to eliminate otherwise fatal integer and buffer over- flow errors. Because CP 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, CP is the first system to eliminate software errors via the successful transfer of correct code across applications.
Date issued
2014-10-02Series/Report no.
MIT-CSAIL-TR-2014-021
Keywords
automatic program repair
Collections
The following license files are associated with this item: