Accession Number:

AD1083751

Title:

Automated Code Repair to Ensure Memory Safety-2018-07-16 Meeting

Descriptive Note:

Technical Report

Corporate Author:

Carnegie Mellon University Software Engineering Institute Pittsburgh United States

Personal Author(s):

Report Date:

2018-07-16

Pagination or Media Count:

12.0

Abstract:

Goals and strategy. Goal Repair code both C source code and x86 binary to enable a proof of memory safety. This entails formal reasoning in regards to 1. The repaired program is memory-safe. 2. The repaired program is equivalent modulo undefined behavior to the original program. Strategy 1. Translate original source code to a simple intermediate representation IR, annotating the IR with tags that record how to convert it back to original code.2. Disassemble binary executableslibraries using Pharos to the same IR.3. Repair the IR whole-program analysis, operating on output files from steps 1 and 2 above. 4. Convert repaired IR back to the original code as closely as possible.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE