Automatic bug repair

Massachusetts Institute of Technology

At the Association for Computing Machinery’s Programming Language Design and Implementation this month, MIT researchers presented a new system that repairs dangerous software bugs by automatically importing functionality from other, more secure applications. Again, it builds up a symbolic expression that represents the operations the donor performs. The divergence represents a constraint that the safe input met and the crash-inducing input does not. CodePhage then analyzes the recipient to find locations at which the input meets most, but not quite all, of the constraints described by the new symbolic expression. Automated future The researchers tested CodePhage on seven common open-source programs in which DIODE had found bugs, importing repairs from between two and four donors for each.

Visit Link