Automated Code Repair
October 2016 • Poster
William Klieber
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.