Automated Code Repair to Ensure Memory Safety (video)
• Video
Watch SEI principal investigator Dr. Will Klieber discuss research to design and implement a technique to automatically repair all potential violations of memory safety in the source code so that the program is provably memory-safe.
Publisher
Software Engineering Institute
Watch
Abstract
A serious limitation in assuring the security of DoD software is the inability to take a codebase and either verify that it is memory safe or repair potential bugs to make it memory safe. Existing static analysis tools either report an enormous number of false alarms or fail to report true vulnerabilities. We propose to design and implement a technique for automatically repairing (in the source code) all potential violations of memory safety so that the program is provably memory safe
Subscribe
Part of a Collection
CMU SEI Research Review 2019