icon-carat-right menu search cmu-wordmark

Automated Code Repair

Poster
Integer overflow in calculations related to array bounds or indices is almost always a bug
Publisher

Software Engineering Institute

Abstract

Integer overflow in calculations related to array bounds or indices is almost always a bug. We have developed and implemented an automated technique for repairing such bugs so that the program behaves as likely desired.