Automatic Error Elimination by Multi-Application Code Transfer
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 t...
| Main Authors: | , , |
|---|---|
| Other Authors: | |
| Published: |
2014
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/90561 |
| _version_ | 1826201011022200832 |
|---|---|
| author | Sidiroglou-Douskos, Stelios Lahtinen, Eric Rinard, Martin |
| author2 | Martin Rinard |
| author_facet | Martin Rinard Sidiroglou-Douskos, Stelios Lahtinen, Eric Rinard, Martin |
| author_sort | Sidiroglou-Douskos, Stelios |
| collection | MIT |
| description | 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. |
| first_indexed | 2024-09-23T11:45:15Z |
| id | mit-1721.1/90561 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T11:45:15Z |
| publishDate | 2014 |
| record_format | dspace |
| spelling | mit-1721.1/905612019-04-12T22:15:02Z Automatic Error Elimination by Multi-Application Code Transfer Sidiroglou-Douskos, Stelios Lahtinen, Eric Rinard, Martin Martin Rinard Program Analysis automatic program repair 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. 2014-10-02T21:45:09Z 2014-10-02T21:45:09Z 2014-10-02 2014-10-02T21:45:09Z http://hdl.handle.net/1721.1/90561 MIT-CSAIL-TR-2014-021 Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International http://creativecommons.org/licenses/by-nc-nd/4.0/ 16 p. application/pdf |
| spellingShingle | automatic program repair Sidiroglou-Douskos, Stelios Lahtinen, Eric Rinard, Martin Automatic Error Elimination by Multi-Application Code Transfer |
| title | Automatic Error Elimination by Multi-Application Code Transfer |
| title_full | Automatic Error Elimination by Multi-Application Code Transfer |
| title_fullStr | Automatic Error Elimination by Multi-Application Code Transfer |
| title_full_unstemmed | Automatic Error Elimination by Multi-Application Code Transfer |
| title_short | Automatic Error Elimination by Multi-Application Code Transfer |
| title_sort | automatic error elimination by multi application code transfer |
| topic | automatic program repair |
| url | http://hdl.handle.net/1721.1/90561 |
| work_keys_str_mv | AT sidirogloudouskosstelios automaticerroreliminationbymultiapplicationcodetransfer AT lahtineneric automaticerroreliminationbymultiapplicationcodetransfer AT rinardmartin automaticerroreliminationbymultiapplicationcodetransfer |