Most software systems frequently encounter errors when interacting with their environments. When errors occur, error-handling code must execute flawlessly to facilitate system recovery. Implementing correct error handling is repetitive but non-trivial, and developers often inadvertently introduce bugs into error-handling code. Existing tools require correct error specifications to detect error-handling bugs. Manually generating error specifications is error-prone and tedious, while automatically mining error specifications is hard to achieve a satisfying accuracy. In this paper, we propose EH-Miner, a novel and practical tool that can automatically detect error-handling bugs without the need for error specifications. Given a function, EH-Miner mines its error-handling rules when the function is frequently checked by an equivalent condition, and handled by the same action. We applied EH-Miner to 117 applications across 15 software domains. EH-Miner mined error-handling rules with the precision of 91.1% and the recall of 46.9%. We reported 142 bugs to developers, and 106 bugs had been confirmed and fixed at the time of writing. We further applied EH-Miner to Linux kernel, and reported 68 bugs for kernel-4.17, of which 42 had been confirmed or fixed.
|Title of host publication||Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019|
|Number of pages||13|
|State||Published - Nov 2019|
|Event||34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019 - San Diego, United States|
Duration: Nov 10 2019 → Nov 15 2019
|Name||Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019|
|Conference||34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019|
|Period||11/10/19 → 11/15/19|
Bibliographical noteFunding Information:
This work was supported in part by National Key R&D Program of China No. 2017YFB1001802; NSFC No. 61872373 and 61872375; NSF grant CCF-1652149 and CCF-1909085; High-End Generic Chips and Basic Software under grants No. 2017ZX01038104-002; China Scholarship Council.
© 2019 IEEE.
- Error handling
- Library function
ASJC Scopus subject areas
- Computer Networks and Communications
- Control and Optimization