Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Poster

Automated Code Repair

  • October 2016
  • By 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.

  • Download

Part of a Collection

SEI 2016 Research Review