Researchers can use these checkers to find many refcounting bugs in latest or older Linux Kernels.
Please cite our paper or this repo link in your bug-report-commits or papers, thanks.
[1] Liang He, Purui Su, Chao Zhang, Yan Cai and Jinxin Ma. One Simple API Can Cause Hundreds of Bugs: An Analysis of Refcounting Bugs in All Modern Linux Kernels. In ACM SOSP 2023. [2] https://github.com/windhl/checkers_sosp23