search menu icon-carat-right cmu-wordmark

Automated Code Repair to Ensure Memory Safety (2018)

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

Software Engineering Institute


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.