search menu icon-carat-right cmu-wordmark

Automated Code Repair

November 2016 Presentation
William Klieber

Work aims to develop technique to eliminate security vulnerabilities at a lower cost than manual repair

Publisher:

Software Engineering Institute

Abstract

This project focused on integer overflow in calculations of how much memory to allocate and calculations  related to array bounds. Through this work, we will reduce a typical number of unhandled violations to a number small enough for a development team to mitigate all of them.