System fixes bugs by importing functionality from other programs — without access to source code.
At the Association for Computing Machinery’s Programming Language Design and Implementation conference this month, MIT researchers presented a new system that repairs dangerous software bugs by automatically importing functionality from other, more secure applications.
Remarkably, the system, dubbed CodePhage, doesn’t require access to the source code of the applications whose functionality it’s borrowing. Instead, it analyzes the applications’ execution and characterizes the types of security checks they perform. As a consequence, it can import checks from applications written in programming languages other than the one in which the program it’s repairing was written.
Once it’s imported code into a vulnerable application, CodePhage can provide a further layer of analysis that guarantees that the bug has been repaired.
“We have tons of source code available in open-source repositories, millions of projects, and a lot of these projects implement similar specifications,” says Stelios Sidiroglou-Douskos, a research scientist at MIT’s Computer Science and Artificial Intelligence Laboratory (CSAIL) who led the development of CodePhage. “Even though that might not be the core functionality of the program, they frequently have subcomponents that share functionality across a large number of projects.”
With CodePhage, he says, “over time, what you’d be doing is building this hybrid system that takes the best components from all these implementations.”
Read more: Automatic bug repair
The Latest on: Automatic computer bug repair
via Google News
The Latest on: Automatic computer bug repair
- At South Station, a reminder of the past that keeps ticking through the presenton February 24, 2020 at 2:00 am
Like most people, he guesses, he thought it was automatic. He never imagined that it would ... If anything is wrong with how the clock is running, he calls Paul Calantropo, the owner of Boston ...
- Auto Q&A: Careful when altering truck’s power outleton February 23, 2020 at 3:31 pm
And you have to take care to only operate it when the engine is running, to maintain battery charge. Many years back, I installed a 1200 watt power inverter under the back seat of our Silverado to ...
- With a fix for the 'temporary profile' bug still elusive, Win10 1903 and 1909 customers should check Pause Updateson February 21, 2020 at 8:14 am
Microsoft has not yet acknowledged — much less fixed — the widely publicized bug in its February Patch Tuesday update that causes Win10 1903 ... Nine days later and the buggy patch is still being ...
- 10 Unreliable Automotive Buys of the 2010son February 21, 2020 at 7:42 am
The Renegade uses the same ZF nine-speed automatic transmission that causes jerky ... Diesel engines are reputed to last forever, but there are repair and maintenance issues that should give buyers ...
- This Week In Security: DNSSEC Temporarily Lost Their Keys, FIDO, And One Weird Windows Trickon February 21, 2020 at 7:19 am
This scheme is great for security, but doesn’t automatically function in one of the typical use cases of SSH ... Months after that fix was released, he did a partial web scan, testing for a third, ...
- Aided by machine learning, scientists find a novel antibiotic able to kill superbugs in miceon February 20, 2020 at 8:07 am
When tested in mice, the molecule, dubbed halicin, effectively treated the gastrointestinal bug Clostridium difficile (C ... The machine learning platform was developed by Regina Barzilay, a professor ...
- Now there's a new Windows 10 bug causing a nightmare for PC ownerson February 19, 2020 at 10:31 pm
Most Windows users just automatically reach for the Shutdown button at the end of the day and walk away from their desk, presuming the computer will take care of the rest. With the latest bug, PCs ...
- If Android Auto Freezes After 5 to 10 Minutes of Driving, These Fixes Might Helpon February 9, 2020 at 6:12 am
there are two things that appear to repair the bug, at least temporarily, for some users. First and foremost, what appears to do the magic is a simple unlock of the phone powering Android Auto.
- Windows 7 bug is preventing users from shutting down their PCs, thankfully there is a fixon February 9, 2020 at 2:44 am
Are you unable to shut down or boot your computer? If you are, we have some answers for you. Windows 7 personal computers are being hit by a bug that is making it unable for their users to shut ...
- 5 features your router needs to keep hackers outon January 25, 2020 at 2:32 am
Just like with your computer, frequent updates are the backbone ... If there is an option in your router settings that enables automatic updates, make sure to turn it on. This will ensure you ...
via Bing News