Automated Code Repair to Ensure Memory Safety (2018)

October 23, 2018 • Presentation

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

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.

Automated Code Repair to Ensure Memory Safety (2018)

October 23, 2018 • Presentation

By William Klieber

Publisher

Abstract

SHARE

Part of a Collection

By
William Klieber