Challenges and Solutions for Automated Repair of C Code

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 2017
Accession Number
AD1087065

Entities

People

  • William Klieber

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Compilers
  • Computer Programs
  • Copyrights
  • Department Of Defense
  • Engineering
  • Governments
  • Guarantees
  • Instructions
  • Materials
  • Semantics
  • Sequences
  • Side Effects
  • Software Development
  • Universities

Readers

  • Enterprise Information Systems Architecture and Joint Command Capability Interoperability Support.
  • Molecular Genetics
  • STEM Education