2015
DOI: 10.1145/2813885.2737988
|View full text |Cite
|
Sign up to set email alerts
|

Automatic error elimination by horizontal code transfer across multiple applications

Abstract: We present Code Phage (CP), a system for automatically transferring correct code from donor applications into recipient applications that process the same inputs to successfully eliminate errors in the recipient. Experimental results using seven donor applications to eliminate ten errors in seven recipient applications highlight the ability of CP to transfer code across applications to eliminate out of bounds access, integer overflow, and divide by zero errors. Because CP works with binary donors with no need … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
14
0

Year Published

2015
2015
2023
2023

Publication Types

Select...
4
2
2

Relationship

1
7

Authors

Journals

citations
Cited by 35 publications
(14 citation statements)
references
References 45 publications
0
14
0
Order By: Relevance
“…Some tools such as GenProg [40] and RSRepair [41] transplanted code to other places in the same system for eliminating bugs. A tool named CodePhage [42] aimed at automatically transferring correct code from donor applications into recipient applications but it was designed for only transferring checks between applications that process the same inputs. On top of RSRepair, SCRepair [43] proposed reusability metrics of similar code fragments and the transferring process was guided by the reusability values.…”
Section: B Code Transplantationmentioning
confidence: 99%
“…Some tools such as GenProg [40] and RSRepair [41] transplanted code to other places in the same system for eliminating bugs. A tool named CodePhage [42] aimed at automatically transferring correct code from donor applications into recipient applications but it was designed for only transferring checks between applications that process the same inputs. On top of RSRepair, SCRepair [43] proposed reusability metrics of similar code fragments and the transferring process was guided by the reusability values.…”
Section: B Code Transplantationmentioning
confidence: 99%
“…The genetic approach to code modification is one of the most popular approaches to automated software improvement [4] with recent progress in automated bug-fixing [5][6][7], optimising non-functional properties [8][9][10], and automatic test-case generation [6].…”
Section: Related Workmentioning
confidence: 99%
“…The system can then automatically discover and replace the original shard with a more elaborately developed shard that includes error handling and corner case code. It is also possible to leave the core computation itself in place, then enhance the computation with automatically located and transferred checks from other programs [1].…”
Section: Error Handling and Corner Case Codementioning
confidence: 99%
“…There would be no replacement shard -the new shard or shards would enhance the recipient with new functionality not present before the insertion of the shard. CodePhage implements this shard transfer capability [1]. µScalpel transplants developer-identified procedures from a donor into a host [12].…”
Section: H Functionality Enhancement Via Shard Insertionmentioning
confidence: 99%
See 1 more Smart Citation