{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T03:36:22Z","timestamp":1778211382225,"version":"3.51.4"},"reference-count":51,"publisher":"Association for Computing Machinery (ACM)","issue":"FSE","license":[{"start":{"date-parts":[[2024,7,12]],"date-time":"2024-07-12T00:00:00Z","timestamp":1720742400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001809","name":"NSFC","doi-asserted-by":"crossref","award":["No.62272473 No.62202474"],"award-info":[{"award-number":["No.62272473 No.62202474"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"name":"the Science and Technology Innovation Program of Hunan Province","award":["No.2023RC1001"],"award-info":[{"award-number":["No.2023RC1001"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. ACM Softw. Eng."],"published-print":{"date-parts":[[2024,7,12]]},"abstract":"<jats:p>Error-handling bugs are prevalent in software systems and can result in severe consequences. Existing works on error-handling bug detection can be categorized into template-based and learning-based approaches. The former requires much human effort and is difficult to accommodate the software evolution. The latter usually focuses on errors of API and assumes that error handling should be right after the handled error. Such an assumption, however, may affect both learning and detecting phases.<\/jats:p>\n                  <jats:p>The existing learning-based approaches can be regarded as API-oriented, which starts from an API and learns if the API requires error handling. In this paper, we propose EH-Digger, an ERROR-oriented approach, which starts from an error handling. Our approach can learn why the error occurs and when the error has to be handled. We conduct a comprehensive study on 2,322 error-handling code snippets from 22 widely used software systems across 8 software domains to reveal the limitation of existing approaches and guide the design of EH-Digger. We evaluated EH-Digger on the Linux Kernel and 11 open-source applications. It detected 53 new bugs confirmed by the developers and 71 historical bugs fixed in the latest versions. We also compared EH-Digger with three state-of-the-art approaches, 30.1% of bugs detected by EH-Digger cannot be detected by the existing approaches.<\/jats:p>","DOI":"10.1145\/3660787","type":"journal-article","created":{"date-parts":[[2024,7,12]],"date-time":"2024-07-12T10:22:09Z","timestamp":1720779729000},"page":"1796-1818","source":"Crossref","is-referenced-by-count":2,"title":["Cut to the Chase: An Error-Oriented Approach to Detect Error-Handling Bugs"],"prefix":"10.1145","volume":"1","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4493-4265","authenticated-orcid":false,"given":"Haoran","family":"Liu","sequence":"first","affiliation":[{"name":"National University of Defense Technology, Changsha, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2533-4547","authenticated-orcid":false,"given":"Zhouyang","family":"Jia","sequence":"additional","affiliation":[{"name":"National University of Defense Technology, Changsha, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0798-974X","authenticated-orcid":false,"given":"Shanshan","family":"Li","sequence":"additional","affiliation":[{"name":"National University of Defense Technology, Changsha, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4504-6806","authenticated-orcid":false,"given":"Yan","family":"Lei","sequence":"additional","affiliation":[{"name":"Chongqing University, Chongqing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9865-2212","authenticated-orcid":false,"given":"Yue","family":"Yu","sequence":"additional","affiliation":[{"name":"National University of Defense Technology, Changsha, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0955-503X","authenticated-orcid":false,"given":"Yu","family":"Jiang","sequence":"additional","affiliation":[{"name":"Tsinghua University, Changsha, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4204-7424","authenticated-orcid":false,"given":"Xiaoguang","family":"Mao","sequence":"additional","affiliation":[{"name":"National University of Defense Technology, Changsha, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6125-3330","authenticated-orcid":false,"given":"Xiangke","family":"Liao","sequence":"additional","affiliation":[{"name":"National University of Defense Technology, Changsha, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,7,12]]},"reference":[{"key":"e_1_3_1_2_2","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1007\/978-3-642-00593-0_25","volume-title":"International Conference on Fundamental Approaches to Software Engineering.","author":"Acharya Mithun","year":"2009","unstructured":"Mithun Acharya and Tao Xie. 2009. Mining API error-handling specifications from source code. In International Conference on Fundamental Approaches to Software Engineering. Springer, 370\u2013384."},{"key":"e_1_3_1_3_2","first-page":"858","article-title":"Global-aware recommendations for repairing violations in exception handling","author":"Adachi Eiji","year":"2018","unstructured":"Eiji Adachi Barbosa and Alessandro Garcia. 2018. Global-aware recommendations for repairing violations in exception handling. In Proceedings of the 40th International Conference on Software Engineering. 858\u2013858.","journal-title":"Proceedings of the 40th International Conference on Software Engineering"},{"issue":"10","key":"e_1_3_1_4_2","doi-asserted-by":"crossref","first-page":"984","DOI":"10.1109\/TSE.2018.2816639","article-title":"Detecting bugs by discovering expectations and their violations","volume":"45","author":"Bian Pan","year":"2018","unstructured":"Pan Bian, Bin Liang, Yan Zhang, Chaoqun Yang, Wenchang Shi, and Yan Cai. 2018. Detecting bugs by discovering expectations and their violations. IEEE Transactions on Software Engineering 45, 10 (2018), 984\u20131001.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"e_1_3_1_5_2","first-page":"1","article-title":"Detecting Inconsistencies in If-Condition-Raise Statements","author":"Bouzenia Islem","year":"2022","unstructured":"Islem Bouzenia. 2022. Detecting Inconsistencies in If-Condition-Raise Statements. In 37th IEEE\/ACM International Conference on AutomatedSoftware Engineering. 1\u20133.","journal-title":"37th IEEE\/ACM International Conference on AutomatedSoftware Engineering"},{"key":"e_1_3_1_6_2","unstructured":"M. Brunsfeld. 2023. Tree-sitter. https:\/\/tree-sitter.github.io\/tree-sitter\/ Accessed 1. October 2021."},{"key":"e_1_3_1_7_2","unstructured":"Haicheng Chen. 2021. Combating Fault Tolerance Bugs in Cloud Systems. The Ohio State University."},{"key":"e_1_3_1_8_2","first-page":"1","article-title":"Linux kernel vulnerabilities: State-of-the-art defenses and open problems","author":"Chen Haogang","year":"2011","unstructured":"Haogang Chen, Yandong Mao, Xi Wang, Dong Zhou, Nickolai Zeldovich, and M Frans Kaashoek. 2011. Linux kernel vulnerabilities: State-of-the-art defenses and open problems. In Proceedings of the Second Asia-Pacific Workshop on Systems. 1\u20135.","journal-title":"Proceedings of the Second Asia-Pacific Workshop on Systems"},{"key":"e_1_3_1_9_2","volume-title":"Introduction to algorithms","author":"Cormen Thomas H","year":"2022","unstructured":"Thomas H Cormen, Charles E Leiserson, Ronald L Rivest, and Clifford Stein. 2022. Introduction to algorithms. MIT press."},{"key":"e_1_3_1_10_2","first-page":"466","article-title":"Effective errorspecification inference via domain-knowledge expansion","author":"DeFreez Daniel","year":"2019","unstructured":"Daniel DeFreez, Haaken Martinson Baldwin, Cindy Rubio-Gonz\u00e1lez, and Aditya V Thakur. 2019. Effective errorspecification inference via domain-knowledge expansion. In Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 466\u2013476.","journal-title":"Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"},{"key":"e_1_3_1_11_2","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1145\/3332466.3374515","article-title":"Detecting and reproducing error-code propagation bugs in MPI implementations","author":"DeFreez Daniel","year":"2020","unstructured":"Daniel DeFreez, Antara Bhowmick, Ignacio Laguna, and Cindy Rubio-Gonz\u00e1lez. 2020. Detecting and reproducing error-code propagation bugs in MPI implementations. In Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. 187\u2013201.","journal-title":"Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming"},{"key":"e_1_3_1_12_2","doi-asserted-by":"crossref","unstructured":"Zhengxiao Du Yujie Qian Xiao Liu Ming Ding Jiezhong Qiu Zhilin Yang and Jie Tang. 2022. GLM: General Language Model Pretraining with Autoregressive Blank Infilling. (2022) 320\u2013335.","DOI":"10.18653\/v1\/2022.acl-long.26"},{"key":"e_1_3_1_13_2","first-page":"684","article-title":"Automatic runtime recovery via error handler synthesis","author":"Gu Tianxiao","year":"2016","unstructured":"Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Jian L\u00fc, and Zhendong Su. 2016. Automatic runtime recovery via error handler synthesis. In Proceedings of the 31st IEEE\/ACM International Conference on Automated Software Engineering. 684\u2013695.","journal-title":"Proceedings of the 31st IEEE\/ACM International Conference on Automated Software Engineering"},{"key":"e_1_3_1_14_2","first-page":"1","article-title":"EIO: Error Handling is Occasionally Correct.","volume":"8","author":"Gunawi Haryadi S","year":"2008","unstructured":"Haryadi S Gunawi, Cindy Rubio-Gonz\u00e1lez, Andrea C Arpaci-Dusseau, Remzi H Arpaci-Dusseau, and Ben Liblit. 2008. EIO: Error Handling is Occasionally Correct.. In FAST, Vol. 8. 1\u201316.","journal-title":"FAST"},{"key":"e_1_3_1_15_2","first-page":"1","article-title":"An empirical study of software exceptions in the field using search logs","author":"Hassan Foyzul","year":"2020","unstructured":"Foyzul Hassan, Chetan Bansal, Nachiappan Nagappan, Thomas Zimmermann, and Ahmed Hassan Awadallah. 2020. An empirical study of software exceptions in the field using search logs. In Proceedings of the 14th ACM\/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM). 1\u201312.","journal-title":"Proceedings of the 14th ACM\/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM)"},{"key":"e_1_3_1_16_2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1109\/ISSRE.2015.7381812","volume-title":"2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE)","author":"Jakobus Benjamin","year":"2015","unstructured":"Benjamin Jakobus, Eiji Adachi Barbosa, Alessandro Garcia, and Carlos Jos\u00e9 Pereira De Lucena. 2015. Contrasting exception handling code across languages: An experience report involving 50 open source projects. In 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE). IEEE, 183\u2013193."},{"key":"e_1_3_1_17_2","first-page":"345","article-title":"Automatically Detecting Error Handling Bugs Using Error Specifications.","author":"Jana Suman","year":"2016","unstructured":"Suman Jana, Yuan Jochen Kang, Samuel Roth, and Baishakhi Ray. 2016. Automatically Detecting Error Handling Bugs Using Error Specifications.. In USENIX Security Symposium. 345\u2013362.","journal-title":"USENIX Security Symposium"},{"key":"e_1_3_1_18_2","first-page":"61","volume-title":"2018 IEEE 25th International Conference on Software Analysis, Evolution and Reengineering (SANER)","author":"Jia Zhouyang","year":"2018","unstructured":"Zhouyang Jia, Shanshan Li, Xiaodong Liu, Xiangke Liao, and Yunhuai Liu. 2018. SMARTLOG: Place error log statement by deep understanding of log intention. In 2018 IEEE 25th International Conference on Software Analysis, Evolution and Reengineering (SANER). IEEE, 61\u201371."},{"key":"e_1_3_1_19_2","first-page":"751","article-title":"Automatically detecting missing cleanup for ungraceful exits","author":"Jia Zhouyang","year":"2019","unstructured":"Zhouyang Jia, Shanshan Li, Tingting Yu, Xiangke Liao, and Ji Wang. 2019. Automatically detecting missing cleanup for ungraceful exits. In Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 751\u2013762.","journal-title":"Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"},{"key":"e_1_3_1_20_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00029"},{"key":"e_1_3_1_21_2","first-page":"472","article-title":"Apex: Automated inference of error specifications for c apis","author":"Kang Yuan","year":"2016","unstructured":"Yuan Kang, Baishakhi Ray, and Suman Jana. 2016. Apex: Automated inference of error specifications for c apis. In Proceedings of the 31st IEEE\/ACM International Conference on Automated Software Engineering. 472\u2013482.","journal-title":"Proceedings of the 31st IEEE\/ACM International Conference on Automated Software Engineering"},{"key":"e_1_3_1_22_2","article-title":"Refining Indirect Call Targets at the Binary Level.","author":"Hyoung Kim Sun","year":"2021","unstructured":"Sun Hyoung Kim, Cong Sun, Dongrui Zeng, and Gang Tan. 2021. Refining Indirect Call Targets at the Binary Level.. In NDSS.","journal-title":"NDSS"},{"key":"e_1_3_1_23_2","first-page":"42","article-title":"Dependable computing: Concepts, limits, challenges","author":"Laprie Jean-Claude","year":"1995","unstructured":"Jean-Claude Laprie. 1995. Dependable computing: Concepts, limits, challenges. In Special issue of the 25th international symposium on fault-tolerant computing. Citeseer, 42\u201354.","journal-title":"Special issue of the 25th international symposium on fault-tolerant computing"},{"key":"e_1_3_1_24_2","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1109\/EDCC.2010.31","volume-title":"2010 European Dependable Computing Conference","author":"Lawall Julia","year":"2010","unstructured":"Julia Lawall, Ben Laurie, Ren\u00e9 Rydhof Hansen, Nicolas Palix, and Gilles Muller. 2010. Finding error handling bugs in openssl using coccinelle. In 2010 European Dependable Computing Conference. IEEE, 191\u2013196."},{"key":"e_1_3_1_25_2","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen.2017.0026"},{"key":"e_1_3_1_26_2","first-page":"1174","volume-title":"2019 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE).","author":"Li Chi","year":"2019","unstructured":"Chi Li, Min Zhou, Zuxing Gu, Ming Gu, and Hongyu Zhang. 2019. Ares: Inferring error specifications through static analysis. In 2019 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE, 1174\u20131177."},{"key":"e_1_3_1_27_2","first-page":"686","volume-title":"2021 IEEE 20th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)","author":"Li Chi","year":"2021","unstructured":"Chi Li, Min Zhou, Xinrong Han, and Ming Gu. 2021. Sensing Error Handling Bugs in SSL Library Usages. In 2021 IEEE 20th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom). IEEE, 686\u2013692."},{"key":"e_1_3_1_28_2","first-page":"33","volume-title":"2014 IEEE 38th Annual Computer Software and Applications Conference","author":"Liu Huqiu","year":"2014","unstructured":"Huqiu Liu, Yuping Wang, Lingbo Jiang, and Shimin Hu. 2014. PF-Miner: A new paired functions mining method for Android kernel in error paths. In 2014 IEEE 38th Annual Computer Software and Applications Conference. IEEE, 33\u201342."},{"key":"e_1_3_1_29_2","first-page":"1867","article-title":"Where does it go? refining indirect-call targets with multi-layer type analysis","author":"Lu Kangjie","year":"2019","unstructured":"Kangjie Lu and Hong Hu. 2019. Where does it go? refining indirect-call targets with multi-layer type analysis. In Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security. 1867\u20131881.","journal-title":"Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security"},{"key":"e_1_3_1_30_2","article-title":"Detecting missing-check bugs via semantic-and context-aware criticalness and constraints inferences","author":"Lu Lu Kangjie","year":"2019","unstructured":"Kangjie Lu Lu, Aditya Pakki, and Qiushi Wu. 2019. Detecting missing-check bugs via semantic-and context-aware criticalness and constraints inferences. In Proceedings of the 28th USENIX Conference on Security Symposium.","journal-title":"Proceedings of the 28th USENIX Conference on Security Symposium"},{"key":"e_1_3_1_31_2","doi-asserted-by":"publisher","DOI":"10.5555\/2747476.2747526"},{"key":"e_1_3_1_32_2","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1109\/DSN.2009.5270313","volume-title":"2009 IEEE\/IFIP International Conference on Dependable Systems & Networks","author":"Marinescu Paul D","year":"2009","unstructured":"Paul D Marinescu and George Candea. 2009. LFI: A practical and general library-level fault injector. In 2009 IEEE\/IFIP International Conference on Dependable Systems & Networks. IEEE, 379\u2013388."},{"key":"e_1_3_1_33_2","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1109\/ICSME.2019.00066","volume-title":"2019 IEEE International Conference on Software Maintenance and Evolution (ICSME)","author":"Nguyen Tam","year":"2019","unstructured":"Tam Nguyen, Phong Vu, and Tung Nguyen. 2019. Recommending exception handling code. In 2019 IEEE International Conference on Software Maintenance and Evolution (ICSME). IEEE, 390\u2013393."},{"key":"e_1_3_1_34_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2017.10.032"},{"key":"e_1_3_1_35_2","first-page":"1203","article-title":"Exaggerated error handling hurts! an in-depth study and context-aware detection","author":"Pakki Aditya","year":"2020","unstructured":"Aditya Pakki and Kangjie Lu. 2020. Exaggerated error handling hurts! an in-depth study and context-aware detection. In Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security. 1203\u20131218.","journal-title":"Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security"},{"key":"e_1_3_1_36_2","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2004.77"},{"key":"e_1_3_1_37_2","unstructured":"Genymobile R. Vimont. 2023. Scrcpy utility. https:\/\/github.com\/Genymobile\/scrcpy Accessed 1. March 2023."},{"key":"e_1_3_1_38_2","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/357474.355046","article-title":"Designing robust Java programs with exceptions","author":"Robillard Martin P","year":"2000","unstructured":"Martin P Robillard and Gail C Murphy. 2000. Designing robust Java programs with exceptions. In Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications. 2\u201310.","journal-title":"Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications"},{"key":"e_1_3_1_39_2","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1145\/1542476.1542506","article-title":"Error propagation analysis for file systems","author":"Rubio-Gonz\u00e1lez Cindy","year":"2009","unstructured":"Cindy Rubio-Gonz\u00e1lez, Haryadi S Gunawi, Ben Liblit, Remzi H Arpaci-Dusseau, and Andrea C Arpaci-Dusseau. 2009. Error propagation analysis for file systems. In Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation. 270\u2013280.","journal-title":"Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation"},{"key":"e_1_3_1_40_2","first-page":"391","volume-title":"International Conference on Information Security and Cryptology","author":"Shen Qintao","year":"2023","unstructured":"Qintao Shen, Hongyu Sun, Guozhu Meng, Kai Chen, and Yuqing Zhang. 2023. Detecting API Missing-Check Bugs Through Complete Cross Checking of Erroneous Returns. In International Conference on Information Security and Cryptology. Springer, 391\u2013407."},{"key":"e_1_3_1_41_2","first-page":"1069","article-title":"Rolecast: finding missing security checks when you do not know what checks are","author":"Son Sooel","year":"2011","unstructured":"Sooel Son, Kathryn S McKinley, and Vitaly Shmatikov. 2011. Rolecast: finding missing security checks when you do not know what checks are. In Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications. 1069\u20131084.","journal-title":"Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications"},{"key":"e_1_3_1_42_2","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1145\/3293882.3338986","article-title":"Identifying error code misuses in complex system","author":"Tang Wensheng","year":"2019","unstructured":"Wensheng Tang. 2019. Identifying error code misuses in complex system. In Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis. 428\u2013432.","journal-title":"Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis"},{"key":"e_1_3_1_43_2","doi-asserted-by":"crossref","first-page":"752","DOI":"10.1145\/3106237.3106300","article-title":"Automatically diagnosing and repairing error handling bugs in c","author":"Tian Yuchi","year":"2017","unstructured":"Yuchi Tian and Baishakhi Ray. 2017. Automatically diagnosing and repairing error handling bugs in c. In Proceedings of the 2017 11th joint meeting on foundations of software engineering. 752\u2013762.","journal-title":"Proceedings of the 2017 11th joint meeting on foundations of software engineering"},{"key":"e_1_3_1_44_2","first-page":"419","article-title":"Finding and preventing run-time error handling mistakes","author":"Weimer Westley","year":"2004","unstructured":"Westley Weimer. 2004. Finding and preventing run-time error handling mistakes. In Proceedings of the 19th annual ACM SIGPLAN Conference on Object-oriented programming, systems, languages, and applications. 419\u2013431.","journal-title":"Proceedings of the 19th annual ACM SIGPLAN Conference on Object-oriented programming, systems, languages, and applications"},{"key":"e_1_3_1_45_2","doi-asserted-by":"publisher","DOI":"10.1145\/1330017.1330019"},{"key":"e_1_3_1_46_2","doi-asserted-by":"publisher","DOI":"10.1145\/3360586"},{"key":"e_1_3_1_47_2","article-title":"Understanding and detecting disordered error handling with precise function pairing","author":"Wu Qiushi","year":"2021","unstructured":"Qiushi Wu, Aditya Pakki, Navid Emamdoost, Stephen McCamant, and Kangjie Lu. 2021. Understanding and detecting disordered error handling with precise function pairing. In the 30th USENIX Security Symposium (Security\u201921).","journal-title":"the 30th USENIX Security Symposium (Security\u201921)"},{"key":"e_1_3_1_48_2","first-page":"512","volume-title":"2019 IEEE\/ACM 41st International Conference on Software Engineering (ICSE)","author":"Xu Xuezheng","year":"2019","unstructured":"Xuezheng Xu, Yulei Sui, Hua Yan, and Jingling Xue. 2019. VFix: value-flow-guided precise program repair for null pointer dereferences. In 2019 IEEE\/ACM 41st International Conference on Software Engineering (ICSE). IEEE, 512\u2013523."},{"key":"e_1_3_1_49_2","first-page":"499","article-title":"Chucky: Exposing missing checks in source code for vulnerability discovery","author":"Yamaguchi Fabian","year":"2013","unstructured":"Fabian Yamaguchi, Christian Wressnegger, Hugo Gascon, and Konrad Rieck. 2013. Chucky: Exposing missing checks in source code for vulnerability discovery. In Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security. 499\u2013510.","journal-title":"Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security"},{"issue":"2","key":"e_1_3_1_50_2","doi-asserted-by":"crossref","first-page":"684","DOI":"10.1109\/TSE.2022.3160155","article-title":"ErrHunter: Detecting Error-Handling Bugs in the Linux Kernel Through Systematic Static Analysis","volume":"49","author":"Zhan Dongyang","year":"2022","unstructured":"Dongyang Zhan, Xiangzhan Yu, Hongli Zhang, and Lin Ye. 2022. ErrHunter: Detecting Error-Handling Bugs in the Linux Kernel Through Systematic Static Analysis. IEEE Transactions on Software Engineering 49, 2 (2022), 684\u2013698.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"e_1_3_1_51_2","first-page":"1","article-title":"Which Exception Shall We Throw?","author":"Zhong Hao","year":"2022","unstructured":"Hao Zhong. 2022. Which Exception Shall We Throw?. In Proceedings of the 37th IEEE\/ACM International Conference on Automated Software Engineering. 1\u201312.","journal-title":"Proceedings of the 37th IEEE\/ACM International Conference on Automated Software Engineering."},{"key":"e_1_3_1_52_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.94"}],"container-title":["Proceedings of the ACM on Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3660787","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3660787","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,4]],"date-time":"2026-02-04T07:58:43Z","timestamp":1770191923000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3660787"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,12]]},"references-count":51,"journal-issue":{"issue":"FSE","published-print":{"date-parts":[[2024,7,12]]}},"alternative-id":["10.1145\/3660787"],"URL":"https:\/\/doi.org\/10.1145\/3660787","relation":{},"ISSN":["2994-970X"],"issn-type":[{"value":"2994-970X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,7,12]]}}}