Menu
MIT tests 'software transplants' to fix buggy code

MIT tests 'software transplants' to fix buggy code

MIT researchers have shown a way to fix flaws using code copied from a working program

MIT's new CodePhage technology can borrow the successful bits of one program to fix another.

MIT's new CodePhage technology can borrow the successful bits of one program to fix another.

Like visiting a junk yard to find cheap parts for an aging vehicle, researchers from the Massachusetts Institute of Technology have come up with a way to fix buggy software by inserting working code from another program.

Using a system they call CodePhage, the researchers were able to fix flaws in seven common open-source programs by using, in each case, functionality taken from between two and four "donor" programs.

Fixing such errors can help make code more secure, since malicious hackers often exploit flaws to gain entry to a system. CodePhage can recognize and fix common programming errors such as out of bounds access, integer overflows, and divide-by-zero errors.

The researchers describe their approach in Monday's edition of the journal Phys.Org. They also discussed it at a programming conference put on last month by the Association for Computing Machinery.

To fix a buggy program, CodePhage requires two sample inputs, one that causes the program to crash, and another that does not.

It runs those inputs through a second program, known as the donor program, that has similar functionality. The Internet is awash with open source software that could provide parts for donor programs, though there's no particular reason the donor code needs to be open source.

Watching the donor program process the crash-free input, CodePhage notates all the actions taken. It then runs the input that caused the original program to crash, again notating the actions, in symbolic logic. CodePhage then analyzes how the two inputs were handled differently, and uses that information to correct the original program.

In many cases, the program being analyzed lacks the required security check present in the donor program. Up to 80 percent of a typical application can be code for conducting security checks. CodePhage could reduce the time developers spend writing those checks, by inserting them automatically into the build process, the researchers said.

MIT isn't the only organization looking for novel ways to repair vulnerable software. Earlier this year, security vendor Qualys released software that can apply virtual patches to known vulnerabilities, eliminating the need to wait for the software vendor to patch the problem.

Joab Jackson covers enterprise software and general technology breaking news for The IDG News Service. Follow Joab on Twitter at @Joab_Jackson. Joab's e-mail address is Joab_Jackson@idg.com


Follow Us

Join the newsletter!

Error: Please check your email address.

Tags patchessecurityMassachusetts Institute of TechnologyExploits / vulnerabilities

Featured

Slideshows

Meet the top performing HP partners in NZ

Meet the top performing HP partners in NZ

HP honoured leading partners across the channel at the Partner Awards 2017 in New Zealand, recognising excellence across the entire print and personal systems portfolio.

Meet the top performing HP partners in NZ
Tech industry comes together as Lexel celebrates turning 30

Tech industry comes together as Lexel celebrates turning 30

Leading figures within the technology industry across New Zealand came together to celebrate 30 years of success for Lexel Systems, at a milestone birthday occasion at St Matthews in the City.​

Tech industry comes together as Lexel celebrates turning 30
HP re-imagines education through Auckland event launch

HP re-imagines education through Auckland event launch

HP New Zealand held an inaugural Evolve Education event at Aotea Centre in Auckland, welcoming over 70 principals, teachers and education experts to explore ways of shaping and enhancing learning using technology.

HP re-imagines education through Auckland event launch
Show Comments