Challenges and Solutions for Automated Repair of C Code
CARNEGIE-MELLON UNIV PITTSBURGH PA PITTSBURGH United States
Pagination or Media Count:
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.
- Computer Programming and Software