{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T10:16:42Z","timestamp":1772533002458,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":81,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,22]],"date-time":"2024-04-22T00:00:00Z","timestamp":1713744000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100006374","name":"Qualcomm","doi-asserted-by":"publisher","award":["Chair Endowment"],"award-info":[{"award-number":["Chair Endowment"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,22]]},"DOI":"10.1145\/3627703.3629576","type":"proceedings-article","created":{"date-parts":[[2024,4,18]],"date-time":"2024-04-18T06:28:28Z","timestamp":1713421708000},"page":"720-735","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Effective Bug Detection with Unused Definitions"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8680-8419","authenticated-orcid":false,"given":"Li","family":"Zhong","sequence":"first","affiliation":[{"name":"University of California, San Diego, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5230-8881","authenticated-orcid":false,"given":"Chengcheng","family":"Xiang","sequence":"additional","affiliation":[{"name":"University of California, San Diego, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4642-463X","authenticated-orcid":false,"given":"Haochen","family":"Huang","sequence":"additional","affiliation":[{"name":"University of California, San Diego, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5518-3594","authenticated-orcid":false,"given":"Bingyu","family":"Shen","sequence":"additional","affiliation":[{"name":"University of California, San Diego, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-4967-6820","authenticated-orcid":false,"given":"Eric","family":"Mugnier","sequence":"additional","affiliation":[{"name":"University of California, San Diego, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4760-7208","authenticated-orcid":false,"given":"Yuanyuan","family":"Zhou","sequence":"additional","affiliation":[{"name":"University of California, San Diego, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,4,22]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"https:\/\/clang.llvm.org\/docs\/DiagnosticsReference.html#wunused","author":"Diagnostic","year":"2007","unstructured":"Diagnostic flags in Clang. https:\/\/clang.llvm.org\/docs\/DiagnosticsReference.html#wunused, 2007."},{"key":"e_1_3_2_1_2_1","volume-title":"https:\/\/gitpython.readthedocs.io\/en\/stable\/index.html","author":"GitPython Documentation","year":"2015","unstructured":"GitPython Documentation --- GitPython 3.1.12 documentation. https:\/\/gitpython.readthedocs.io\/en\/stable\/index.html, 2015."},{"key":"e_1_3_2_1_3_1","volume-title":"pluggable static analysis for C. https:\/\/lwn.net\/Articles\/691882\/","author":"Smatch","year":"2016","unstructured":"Smatch: pluggable static analysis for C. https:\/\/lwn.net\/Articles\/691882\/, 2016."},{"key":"e_1_3_2_1_4_1","volume-title":"https:\/\/smatch.sourceforge.net\/","author":"Smatch","year":"2020","unstructured":"Smatch the Source Matcher. https:\/\/smatch.sourceforge.net\/, 2020."},{"key":"e_1_3_2_1_5_1","volume-title":"User Space NFS and 9P File Server. https:\/\/nfs-ganesha.github.io\/","year":"2021","unstructured":"NFS-ganesha: User Space NFS and 9P File Server. https:\/\/nfs-ganesha.github.io\/, 2021."},{"key":"e_1_3_2_1_6_1","volume-title":"https:\/\/llvm.org\/","author":"The LLVM","year":"2021","unstructured":"The LLVM Compiler Infrastructure. https:\/\/llvm.org\/, 2021."},{"key":"e_1_3_2_1_7_1","volume-title":"https:\/\/gcc.gnu.org\/onlinedocs\/gcc\/Warning-Options.html#Warning-Options","author":"Warning Options GNU","year":"2021","unstructured":"Warning Options (Using the GNU Compiler Collection (GCC)). https:\/\/gcc.gnu.org\/onlinedocs\/gcc\/Warning-Options.html#Warning-Options, 2021."},{"key":"e_1_3_2_1_8_1","volume-title":"https:\/\/docs.python.org\/3\/library\/re.html","author":"Regular","year":"2022","unstructured":"re - Regular expression operations. https:\/\/docs.python.org\/3\/library\/re.html, 2022."},{"key":"e_1_3_2_1_9_1","volume-title":"https:\/\/stackoverflow.com\/","author":"StackOverflow","year":"2022","unstructured":"StackOverflow. https:\/\/stackoverflow.com\/, 2022."},{"key":"e_1_3_2_1_10_1","volume-title":"https:\/\/github.com\/FloridSleeves\/ValueCheck","author":"FloridSleeves","year":"2023","unstructured":"FloridSleeves\/ValueCheck. https:\/\/github.com\/FloridSleeves\/ValueCheck, 2023."},{"key":"e_1_3_2_1_11_1","first-page":"2025","volume-title":"30th USENIX Security Symposium (USENIX Security 21)","author":"Ahmadi M.","year":"2021","unstructured":"Ahmadi, M., Farkhani, R. M., Williams, R., and Lu, L. Finding bugs using your own code: detecting functionally-similar yet inconsistent code. In 30th USENIX Security Symposium (USENIX Security 21) (2021), pp. 2025--2040."},{"key":"e_1_3_2_1_12_1","volume-title":"Compilers, principles, techniques. Addison wesley 7, 8","author":"Aho A. V.","year":"1986","unstructured":"Aho, A. V., Sethi, R., and Ullman, J. D. Compilers, principles, techniques. Addison wesley 7, 8 (1986), 9."},{"key":"e_1_3_2_1_13_1","unstructured":"Andersen L. O. Program analysis and specialization for the C programming language. PhD thesis Citeseer 1994."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSR.2007.7"},{"key":"e_1_3_2_1_15_1","first-page":"367","volume-title":"2022 USENIX Annual Technical Conference (USENIX ATC 22)","author":"Bai J.-J.","year":"2022","unstructured":"Bai, J.-J., Li, T., and Hu, S.-M. {DLOS}: Effective static detection of deadlocks in {OS} kernels. In 2022 USENIX Annual Technical Conference (USENIX ATC 22) (2022), pp. 367--382."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27705-4_24"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1646353.1646374"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025119"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/773473.178257"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/872726.806984"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815402"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3195029"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/502059.502041"},{"key":"e_1_3_2_1_24_1","volume-title":"11th European Conference. Jyv\u00e4skyl\u00e4","author":"Fowler M.","year":"1997","unstructured":"Fowler, M. Refactoring: Improving the design of existing code. In 11th European Conference. Jyv\u00e4skyl\u00e4, Finland (1997)."},{"key":"e_1_3_2_1_25_1","volume-title":"Refactoring: improving the design of existing code","author":"Fowler M.","year":"2018","unstructured":"Fowler, M. Refactoring: improving the design of existing code. Addison-Wesley Professional, 2018."},{"key":"e_1_3_2_1_26_1","first-page":"385","volume-title":"A degree-of-knowledge model to capture source code familiarity In Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering-Volume 1","author":"Fritz T.","year":"2010","unstructured":"Fritz, T., Ou, J., Murphy, G. C., and Murphy-Hill, E. A degree-of-knowledge model to capture source code familiarity In Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering-Volume 1 (2010), pp. 385--394."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869475"},{"key":"e_1_3_2_1_28_1","unstructured":"Giger E. and Gall H. Object-oriented design heuristics."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.1997.644007"},{"key":"e_1_3_2_1_30_1","volume-title":"Some code smells have a significant but small effect on faults. ACM Transactions on Software Engineering and Methodology (TOSEM) 23, 4","author":"Hall T.","year":"2014","unstructured":"Hall, T., Zhang, M., Bowes, D., and Sun, Y. Some code smells have a significant but small effect on faults. ACM Transactions on Software Engineering and Methodology (TOSEM) 23, 4 (2014), 1--39."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/347324.348916"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2014.17"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3575693.3575699"},{"key":"e_1_3_2_1_34_1","first-page":"349","volume-title":"2021 USENIX Annual Technical Conference (USENIX ATC 21)","author":"Huang H.","year":"2021","unstructured":"Huang, H., Xiang, C., Zhong, L., and Zhou, Y. {PYLIVE}:{On-the-Fly} code change for python-based online services. In 2021 USENIX Annual Technical Conference (USENIX ATC 21) (2021), pp. 349--363."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ESEM.2017.56"},{"key":"e_1_3_2_1_36_1","first-page":"131","volume-title":"International Workshop on Languages and Compilers for Parallel Computing","author":"Hwang Y.-S.","year":"1997","unstructured":"Hwang, Y.-S., and Saltz, J. Identifying def\/use information of statements that construct and traverse dynamic recursive data structures. In International Workshop on Languages and Compilers for Parallel Computing (1997), Springer, pp. 131--145."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155098"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-011-9171-y"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359662"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/773473.178256"},{"key":"e_1_3_2_1_41_1","volume-title":"The BSD conference","volume":"5","author":"Lattner C.","year":"2008","unstructured":"Lattner, C. Llvm and clang: Next generation compiler technology. In The BSD conference (2008), vol. 5."},{"key":"e_1_3_2_1_42_1","first-page":"399","volume-title":"Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (USA, 2014), OSDI'14, USENIX Association","author":"Leesatapornwongsa T.","unstructured":"Leesatapornwongsa, T., Hao, M., Joshi, P., Lukman, J. F., and Gunawi, H. S. Samc: Semantic-aware model checking for fast discovery of deep bugs in cloud systems. In Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (USA, 2014), OSDI'14, USENIX Association, p. 399--414."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3503222.3507770"},{"key":"e_1_3_2_1_44_1","first-page":"3","volume-title":"Luxembourg","author":"Lu K.","year":"2019","unstructured":"Lu, K., Pakki, A., and Wu, Q. Automatically identifying security checks for detecting kernel semantic bugs. In Computer Security-ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part II 24 (2019), Springer, pp. 3--25."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.5555\/3361338.3361461"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/358916.358994"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815422"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSR.2007.27"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2002.1007994"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1998.738486"},{"key":"e_1_3_2_1_51_1","volume-title":"Dept. of Computer Science","author":"Moth R.","year":"1998","unstructured":"Moth, R. Register liveness analysis of executable code. Manuscript, Dept. of Computer Science, The University of Arizona, Dec (1998)."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227095"},{"key":"e_1_3_2_1_53_1","volume-title":"Principles of program analysis","author":"Nielson F.","year":"2004","unstructured":"Nielson, F., Nielson, H. R., and Hankin, C. Principles of program analysis. Springer Science & Business Media, 2004."},{"key":"e_1_3_2_1_54_1","first-page":"185","volume-title":"Proceedings of the Linux Symposium","volume":"2","author":"Novillo D.","year":"2006","unstructured":"Novillo, D. Gcc an architectural overview, current status, and future directions. In Proceedings of the Linux Symposium (2006), vol. 2, p. 185."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2014.32"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2002.1173062"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/3306446.3340828"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815411"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/1668862.1668876"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491448"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/800192.805690"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/1370750.1370779"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITNG.2006.31"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.5555\/AAI29258003"},{"key":"e_1_3_2_1_66_1","volume-title":"USENIX Security Symposium","author":"Shen B.","year":"2023","unstructured":"Shen, B., Shan, T., and Zhou, Y. Multiview: Finding blind spots in access-deny issues diagnosis. In USENIX Security Symposium (2023)."},{"key":"e_1_3_2_1_67_1","first-page":"1","volume-title":"Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation (USA, 2016), OSDI'16, USENIX Association","author":"Sigurbjarnarson H.","unstructured":"Sigurbjarnarson, H., Bornholt, J., Torlak, E., and Wang, X. Pushbutton verification of file systems via crash refinement. In Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation (USA, 2016), OSDI'16, USENIX Association, p. 1--16."},{"key":"e_1_3_2_1_68_1","first-page":"8","article-title":"Quantifying the effect of code smells on maintenance effort","volume":"39","author":"Sj\u00f8berg D. I.","year":"2012","unstructured":"Sj\u00f8berg, D. I., Yamashita, A., Anda, B. C., Mockus, A., and Dyb\u00e5, T. Quantifying the effect of code smells on maintenance effort. IEEE Transactions on Software Engineering 39, 8 (2012), 1144--1156.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892235"},{"key":"e_1_3_2_1_70_1","first-page":"379","volume-title":"USENIX Security Symposium","author":"Tan L.","year":"2008","unstructured":"Tan, L., Zhang, X., Ma, X., Xiong, W., and Zhou, Y. Autoises: Automatically inferring security specification and detecting violations. In USENIX Security Symposium (2008), pp. 379--394."},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884852"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336788"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292567"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2020.110667"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11390-021-1666-4"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363191"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486878"},{"key":"e_1_3_2_1_78_1","first-page":"1205","volume-title":"Proceedings of the 28th USENIX Conference on Security Symposium (USA, 2019), SEC'19, USENIX Association","author":"Zhang T.","unstructured":"Zhang, T., Shen, W, Lee, D., Jung, C., Azab, A. M., and Wang, R. Pex: A permission check analysis framework for linux kernel. In Proceedings of the 28th USENIX Conference on Security Symposium (USA, 2019), SEC'19, USENIX Association, p. 1205--1220."},{"key":"e_1_3_2_1_79_1","volume-title":"A survey of prevent and detect access control vulnerabilities. arXiv preprint arXiv:2304.10600","author":"Zhong L.","year":"2023","unstructured":"Zhong, L. A survey of prevent and detect access control vulnerabilities. arXiv preprint arXiv:2304.10600 (2023)."},{"key":"e_1_3_2_1_80_1","volume-title":"Can chatgpt replace stackoverflow? a study on robustness and reliability of large language model code generation","author":"Zhong L.","year":"2023","unstructured":"Zhong, L., and Wang, Z. Can chatgpt replace stackoverflow? a study on robustness and reliability of large language model code generation, 2023."},{"key":"e_1_3_2_1_81_1","volume-title":"A study on robustness and reliability of large language model code generation. arXiv preprint arXiv:2308.10335","author":"Zhong L.","year":"2023","unstructured":"Zhong, L., and Wang, Z. A study on robustness and reliability of large language model code generation. arXiv preprint arXiv:2308.10335 (2023)."}],"event":{"name":"EuroSys '24: Nineteenth European Conference on Computer Systems","location":"Athens Greece","acronym":"EuroSys '24","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the Nineteenth European Conference on Computer Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3627703.3629576","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3627703.3629576","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T01:06:30Z","timestamp":1755824790000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3627703.3629576"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,22]]},"references-count":81,"alternative-id":["10.1145\/3627703.3629576","10.1145\/3627703"],"URL":"https:\/\/doi.org\/10.1145\/3627703.3629576","relation":{},"subject":[],"published":{"date-parts":[[2024,4,22]]},"assertion":[{"value":"2024-04-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}