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.