Researchers at MIT’s Computer Science and Artificial Intelligence Laboratory (CSAIL) have developed a new system that allows programmers to transplant code from one program into another. The programmer can select the code from one program and an insertion point in a second program, and the system will automatically make modifications necessary — such as changing variable names — to integrate the code into its new context.
Crucially, the system is able to translate between “data representations” used by the donor and recipient programs. An image-processing program, for instance, needs to be able to handle files in a range of formats, such as jpeg, tiff, or png. But internally, it will represent all such images using a single standardized scheme. Different programs, however, may use different internal schemes. The CSAIL researchers’ system automatically maps the donor program’s scheme onto that of the recipient, to import code seamlessly.
The researchers presented the new system, dubbed CodeCarbonCopy, at the Association for Computing Machinery’s Symposium on the Foundations of Software Engineering.
“CodeCarbonCopy enables one of the holy grails of software engineering: automatic code reuse,” says Stelios Sidiroglou-Douskos, a research scientist at CSAIL and first author on the paper. “It’s another step toward automating the human away from the development cycle. Our view is that perhaps we have written most of the software that we’ll ever need — we now just need to reuse it.”
The researchers conducted eight experiments in which they used CodeCarbonCopy to transplant code between six popular open-source image-processing programs. Seven of the eight transplants were successful, with the recipient program properly executing the new functionality.
Joining Sidiroglou-Douskos on the paper are Martin Rinard, a professor of electrical engineering and computer science; Fan Long, an MIT graduate student in electrical engineering and computer science; and Eric Lahtinen and Anthony Eden, who were contract programmers at MIT when the work was done.
With CodeCarbonCopy, the first step in transplanting code from one program to another is to feed both of them the same input file. The system then compares how the two programs process the file.
If, for instance, the donor program performs a series of operations on a particular piece of data and loads the result into a variable named “mem_clip->width,” and the recipient performs the same operations on the same piece of data and loads the result into a variable named “picture.width,” the system will infer that the variables are playing the same roles in their respective programs.
Once it has identified correspondences between variables, CodeCarbonCopy presents them to the user. It also presents all the variables in the donor for which it could not find matches in the recipient, together with those variables’ initial definitions. Frequently, those variables are playing some role in the donor that’s irrelevant to the recipient. The user can flag those variables as unnecessary, and CodeCarbonCopy will automatically excise any operations that make use of them from the transplanted code.
To map the data representations from one program onto those of the other, CodeCarbonCopy looks at the precise values that both programs store in memory. Every pixel in a digital image, for instance, is governed by three color values: red, green, and blue. Some programs, however, store those triplets of values in the order red, green, blue, and others store them in the order blue, green, red.
If CodeCarbonCopy finds a systematic relationship between the values stored by one program and those stored by the other, it generates a set of operations for translating between representations.
CodeCarbonCopy works well with file formats, such as images, whose data is rigidly organized, and with programs, such as image processors, that store data representations in arrays, which are essentially rows of identically sized memory units. In ongoing work, the researchers are looking to generalize their approach to file formats that permit more flexible data organization and programs that use data structures other than arrays, such as trees or linked lists.
“In general, code quoting is where a lot of problems in software come from,” says Vitaly Shmatikov, a professor of computer science at Cornell Tech, a joint academic venture between Cornell University and Israel’s Technion. “Both bugs and security vulnerabilities — a lot of them occur when there is functionality in one place, and someone tries to either cut and paste or reimplement this functionality in another place. They make a small mistake, and that’s how things break. So having an automated way of moving code from one place to another would be a huge, huge deal, and this is a very solid step toward having it.”
“Recognizing irrelevant code that’s not important for the functionality that they’re quoting, that’s another technical innovation that’s important,” Shmatikov adds. “That’s the kind of thing that was an obstacle for a lot of previous approaches — that you know the right code is there, but it’s mixed up with a lot of code that is not relevant to what you’re trying to do. So being able to separate that out is a fairly significant technical contribution.”
Learn more: Automatic code reuse
The Latest on: Automatic code reuse
- Nuki smart lock review: A simple to use, reliable, and very smart solution for European-style locks on December 13, 2017 at 8:36 am
Few missing options No setting to auto-lock the door after it's been ... you can issue invite codes for new users. However, these expire after 48 hours and you can't reuse them so if you have a relative who visits a couple of times a year, you need to ... […]
- Panorama X: Innovative database with innovative pricing on December 11, 2017 at 5:48 pm
auto-complete, pattern matching and so on. And it includes geographical data, so you can display address data on a map or look up the city or state for a particular ZIP code. You can customize Panorama X's toolbars and menus just the way you like them. […]
- Cloud powered modern applications increase IT Showcase content discoverability on December 7, 2017 at 1:59 am
Reduced maintenance costs through automatic content updates and notifications ... When they created the Windows 8 modern app, they were able to reuse code relevant to all platforms without re-coding. Note: For more information on developing once for ... […]
- Dynamic Margining: The Minima Approach to Near-threshold Design on December 1, 2017 at 4:04 pm
In this way, the OS-controlled Minima middleware acts like an automatic braking system that adjusts to driving ... This reduces power by avoiding extra active cycles of executing code in Thread mode, and reduces unnecessary stack operations. […]
- Ripe for Renewal: How Redevelopment Efforts Are Reshaping the Urban Core on November 30, 2017 at 5:06 pm
During the past four years, Jamestown has completed adaptive reuse redevelopments totaling upward of 12 million ... as is bringing outdated structures up to code. Jamestown encountered both issues in creating Ponce City Market from a 1926 Sears, Roebuck ... […]
- C++ synthesis methodologies for faster automotive IC development on November 30, 2017 at 3:06 am
STMicroelectronics' Imaging Division, which has been using an HLS methodology since 2007, has developed an ingenious parameterised template/library system that helps the group reuse common functions ... changing the C++ code. In addition, the team modified ... […]
- Spring Boot: Thymeleaf Template Decorator on November 29, 2017 at 12:00 am
In this article, I will show you how you can structure templates using the Thymeleaf Layout Dialect to achieve a higher code reusability in a Spring Boot ... Thymeleaf and Thymeleaf Layout Dialect. The auto-configuration support will configure all the ... […]
- Tech firms want to save the auto industry—and the connected car—from itself on June 8, 2016 at 3:30 pm
Further Reading Fiat Chrysler recalls 1.4 million cars over remote hack vulnerability As the tech and auto industries ... and code are brought in from tiers of suppliers; the OEM's job is to integrate that all together. "There's such little reuse of ... […]
- Rifles converted to automatic fire an increasing risk, RCMP internal report warns on January 14, 2016 at 9:00 pm
That's the stark conclusion of an internal RCMP laboratory report on improvised methods for upgrading semi-automatic weapons, and for illegally altering magazine clips to allow for rapid continuous fire. The lab report notes that Criminal Code regulations ... […]
via Google News and Bing News