RID-Reference-Cited by-同舟云学术

RID

Published:2016-06-09 Issue:4 Volume:51 Page:531-544
ISSN:0362-1340
Container-title:ACM SIGPLAN Notices
language:en
Short-container-title:SIGPLAN Not.

Author:

Mao Junjie¹,Chen Yu¹,Xiao Qixue¹,Shi Yuanchun¹

Affiliation:

1. Tsinghua University, Beijing, China

Abstract

Reference counts are widely used in OS kernels for resource management. However, reference counts are not trivial to be used correctly in large scale programs because it is left to developers to make sure that an increment to a reference count is always paired with a decrement. This paper proposes inconsistent path pair checking, a novel technique that can statically discover bugs related to reference counts without knowing how reference counts should be changed in a function. A prototype called RID is implemented and evaluations show that RID can discover more than 80 bugs which were confirmed by the developers in the latest Linux kernel. The results also show that RID tends to reveal bugs caused by developers' misunderstanding on API specifications or error conditions that are not handled properly.

Funder

Natural Science Foundation of China

National High Technology Research and Development Program of China

National Science and Technology Major Project of China

Publisher

Association for Computing Machinery (ACM)

Subject

Computer Graphics and Computer-Aided Design,Software

Link

https://dl.acm.org/doi/pdf/10.1145/2954679.2872389

Reference31 articles.

1. Clark Barrett Pascal Fontaine and Cesare Tinelli. The smt-lib standard version 2.5. http://smtlib.cs.uiowa.edu/papers/smt-lib-reference-v2.5-r2015-06--28.pdf. Clark Barrett Pascal Fontaine and Cesare Tinelli. The smt-lib standard version 2.5. http://smtlib.cs.uiowa.edu/papers/smt-lib-reference-v2.5-r2015-06--28.pdf.

2. Lecture Notes in Computer Science;Baumgartner Peter,2008

3. Static error detection using semantic inconsistency inference

4. Michael Emmi Ranjit Jhala Eddie Kohler and Rupak Majumdar . Verifying reference counting implementations. In Stefan Kowalewski and Anna Philippou editors Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference TACAS 2009 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS 2009 York UK March 22--29 2009. Proceedings volume 5505 of Lecture Notes in Computer Science pages 352 -- 367 . Springer 2009. Michael Emmi Ranjit Jhala Eddie Kohler and Rupak Majumdar. Verifying reference counting implementations. In Stefan Kowalewski and Anna Philippou editors Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference TACAS 2009 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS 2009 York UK March 22--29 2009. Proceedings volume 5505 of Lecture Notes in Computer Science pages 352--367. Springer 2009.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Cross-Language Call Graph Construction Supporting Different Host Languages;2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2023-03

2. On the Security of Python Virtual Machines: An Empirical Study;2022 IEEE International Conference on Software Maintenance and Evolution (ICSME);2022-10

3. An empirical study of the Python/C API on evolution and bug patterns;Journal of Software: Evolution and Process;2022-09-06

4. The Python/C API: Evolution, Usage Statistics, and Bug Patterns;2020 IEEE 27th International Conference on Software Analysis, Evolution and Reengineering (SANER);2020-02

5. Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs;Lecture Notes in Computer Science;2019