Automatic Error Elimination by Multi-Application Code Transfer
Name
MIT-CSAIL-TR-2014-021.pdf
Size
313.89 KB
Format
Adobe PDF
Checksum (MD5)
2af2782186d055b3bca4e539cbb2a4cd
Download all files submitted through automated deposit
Author(s) • •
Sidiroglou-Douskos, Stelios
Lahtinen, Eric
Rinard, Martin
Advisor(s)
Martin Rinard
Date Issued
October 2, 2014
Series/Report no.
MIT-CSAIL-TR-2014-021
Abstract
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.
Subjects
automatic program repair
Terms of Use
Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
Persistent DSpace Link