Show simple item record

dc.contributor.advisorMartin Rinard
dc.contributor.authorSidiroglou-Douskos, Steliosen_US
dc.contributor.authorLahtinen, Ericen_US
dc.contributor.authorRinard, Martinen_US
dc.contributor.otherProgram Analysisen
dc.date.accessioned2014-10-02T21:45:09Z
dc.date.available2014-10-02T21:45:09Z
dc.date.issued2014-10-02
dc.identifier.urihttp://hdl.handle.net/1721.1/90561
dc.description.abstractWe 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.en_US
dc.format.extent16 p.en_US
dc.relation.ispartofseriesMIT-CSAIL-TR-2014-021
dc.rightsCreative Commons Attribution-NonCommercial-NoDerivatives 4.0 International*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/en_US
dc.subjectautomatic program repairen_US
dc.titleAutomatic Error Elimination by Multi-Application Code Transferen_US
dc.date.updated2014-10-02T21:45:09Z


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record