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

Watch

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.