search menu icon-carat-right cmu-wordmark

Automated Code Repair to Ensure Memory Safety

October 2018 Poster
William Klieber

This poster describes a technique for automatically repairing potential violations of memory safety so that the program is provably memory-safe.

Publisher:

Software Engineering Institute

Abstract

Memory-related bugs in C/C++ code are notorious for leading to vulnerabilities. Through this research, the SEI is developing techniques for automated repair of source code to eliminate such vulnerabilities and enable a proof of memory safety.