Accession Number:

AD1087065

Title:

Challenges and Solutions for Automated Repair of C Code

Descriptive Note:

Conference Paper

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA PITTSBURGH United States

Personal Author(s):

Report Date:

2017-09-01

Pagination or Media Count:

8.0

Abstract:

Why automated repair Gap between static analysis and repair. Design for IR-source mapping. Sequence Points. IR instructions to indicate unsequenced ops. IR instructions to indicate weak sequencing.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE