Automatically diagnosing and repairing error handling bugs in C

Abstract

Correct error handling is essential for building reliable and secure systems. Unfortunately, low-level languages like C often do not support any error handling primitives and leave it up to the developers to create their own mechanisms for error propagation and handling. However, in practice, the developers often make mistakes while writing the repetitive and tedious error handling code and inadvertently introduce bugs. Such error handling bugs often have severe consequences undermining the security and reliability of the affected systems. Fixing these bugs is also tiring-they are repetitive and cumbersome to implement. Therefore, it is crucial to develop tool supports for automatically detecting and fixing error handling bugs.

BibTeX

@inproceedings{Tian-Ray:FSE17,
  author    = {Yuchi Tian and
               Baishakhi Ray},
  title     = {Automatically diagnosing and repairing error handling bugs in C},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {752--762},
  publisher = {{ACM}},
  year      = {2017},
}

Automatically diagnosing and repairing error handling bugs in C

Abstract

Related papers