Automatic runtime error repair and containment via recovery shepherding

Abstract

We present a system, RCV, for enabling software applications to survive divide-by-zero and null-dereference errors. RCV operates directly on off-the-shelf, production, stripped x86 binary executables. RCV implements recovery shepherding , which attaches to the application process when an error occurs, repairs the execution, tracks the repair effects as the execution continues, contains the repair effects within the application process, and detaches from the process after all repair effects are flushed from the process state. RCV therefore incurs negligible overhead during the normal execution of the application.

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 05, 2014
Source ID
10.1145/2666356.2594337

Entities

People

  • Fan Long
  • Martin Rinard
  • Stelios Sidiroglou-douskos

Organizations

  • Defense Advanced Research Projects Agency
  • Massachusetts Institute of Technology

Tags

Fields of Study

  • Computer science

Readers

  • Computer Programming and Software Development.
  • Logistics and Supply Chain Management.
  • Software Verification and Validation.