Automated Code Repair to Ensure Memory Safety (2018)

October 23, 2018 • Poster

By

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

Subjects

Research Review

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.