Automated Code Repair to Ensure Memory Safety
October 2018 • Poster
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.