{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T09:58:48Z","timestamp":1740131928312,"version":"3.37.3"},"reference-count":45,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62202292"],"award-info":[{"award-number":["62202292"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Shanghai Committee of Science and Technology","award":["22511101102"],"award-info":[{"award-number":["22511101102"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput."],"published-print":{"date-parts":[[2023,8,1]]},"DOI":"10.1109\/tc.2023.3240365","type":"journal-article","created":{"date-parts":[[2023,1,27]],"date-time":"2023-01-27T18:39:16Z","timestamp":1674844756000},"page":"2181-2193","source":"Crossref","is-referenced-by-count":1,"title":["Understanding and Mitigating Twin Function Misuses in Operating System Kernel"],"prefix":"10.1109","volume":"72","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8112-8481","authenticated-orcid":false,"given":"Jinyu","family":"Gu","sequence":"first","affiliation":[{"name":"Shanghai Key Laboratory of Scalable Computing and Systems, Shanghai Jiao Tong University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2725-8955","authenticated-orcid":false,"given":"Jiacheng","family":"Shi","sequence":"additional","affiliation":[{"name":"Shanghai Key Laboratory of Scalable Computing and Systems, Shanghai Jiao Tong University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haroran","family":"Su","sequence":"additional","affiliation":[{"name":"Shanghai Key Laboratory of Scalable Computing and Systems, Shanghai Jiao Tong University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7463-9566","authenticated-orcid":false,"given":"Wentai","family":"Li","sequence":"additional","affiliation":[{"name":"Shanghai Key Laboratory of Scalable Computing and Systems, Shanghai Jiao Tong University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Binyu","family":"Zang","sequence":"additional","affiliation":[{"name":"Shanghai Key Laboratory of Scalable Computing and Systems, Shanghai Jiao Tong University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4714-7400","authenticated-orcid":false,"given":"Haibing","family":"Guan","sequence":"additional","affiliation":[{"name":"Shanghai Key Laboratory of Scalable Computing and Systems, Shanghai Jiao Tong University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9720-0361","authenticated-orcid":false,"given":"Haibo","family":"Chen","sequence":"additional","affiliation":[{"name":"Shanghai Key Laboratory of Scalable Computing and Systems, Shanghai Jiao Tong University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037743"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2901318.2901341"},{"key":"ref12","first-page":"587","article-title":"DSAC: Effective static analysis of sleep-in-atomic-context bugs in kernel modules","author":"bai","year":"2018","journal-title":"Proc USENIX Conf USENIX Annu Tech Conf"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180260"},{"journal-title":"Google","article-title":"syzkaller\/syzbot.md at master google\/syzkaller github","year":"2019","key":"ref15"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2018.00012"},{"key":"ref14","first-page":"1769","article-title":"Detecting missing-check bugs via semantic- and context-aware criticalness and constraints inferences","author":"lu","year":"2019","journal-title":"Proc 28th USENIX Secur Symp"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-Companion.2019.00046"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00032"},{"key":"ref30","first-page":"33","article-title":"Finding crash-consistency bugs with bounded black-box crash testing","author":"mohan","year":"2018","journal-title":"Proc 12th USENIX Conf Operating Syst Des Implementation"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950401"},{"key":"ref33","first-page":"660","article-title":"KUBO: Precise and scalable detection of user-triggerable undefined behavior bugs in OS kernel","author":"emamdoost","year":"2021","journal-title":"Proc Symp Network and Distributed System Security"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2103799.2103805"},{"key":"ref32","first-page":"1205","article-title":"PeX: A permission check analysis framework for linux kernel","author":"zhang","year":"2019","journal-title":"Proc 28th USENIX Secur Symp"},{"article-title":"Coccinelle: A program matching and transformation tool for systems code","year":"2018","author":"lawall","key":"ref2"},{"journal-title":"The Linux Kernel Module Programming Guide","year":"0","author":"salzman","key":"ref1"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3460120.3484798"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180176"},{"key":"ref16","first-page":"125","article-title":"LinKRID: Vetting imbalance reference counting in linux kernel with symbolic execution","author":"liu","year":"2022","journal-title":"Proc 31st USENIX Secur Symp"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00122"},{"key":"ref19","article-title":"PEX: A permission check analysis framework for linux kernel","author":"zhang","year":"2019","journal-title":"Proc 28th USENIX Secur Symp"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2019.04.014"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00078"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483549"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/3302424.3303948"},{"key":"ref26","first-page":"367","article-title":"DLOS: Effective static detection of deadlocks in OS kernels","author":"bai","year":"2022","journal-title":"Proc USENIX Annu Tech Conf"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00017"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-017-9551-z"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/2990497"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/2990497"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3173162.3177156"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00109"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2009.5270354"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/3196398.3196411"},{"key":"ref28","first-page":"1007","article-title":"DR. CHECKER: A soundy analysis for linux kernel drivers","author":"machiry","year":"2017","journal-title":"Proc 26th USENIX Conf Secur Symp"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2021.24416"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00035"},{"year":"2019","key":"ref8","article-title":"Deprecated interfaces, language features, attributes, and conventions"},{"key":"ref7","first-page":"363","article-title":"Apisan: Sanitizing api usages through semantic cross-checking","author":"yun","year":"2016","journal-title":"Proc 25th USENIX Conf Secur Symp"},{"key":"ref9","first-page":"601","article-title":"Coccinelle: 10 years of automated evolution in the linux kernel","author":"lawall","year":"2018","journal-title":"Proc USENIX Conf USENIX Annu Tech Conf"},{"article-title":"netfilter: Compat: Initialize all fields in xt_init torvalds\/linux@8d29d16.","year":"0","author":"ruggeri","key":"ref4"},{"key":"ref3","first-page":"87","article-title":"The slab allocator: An object-caching kernel memory allocator","author":"bonwick","year":"1994","journal-title":"Proc USENIX Summer Tech Conf"},{"key":"ref6","first-page":"12","article-title":"Non-control-data attacks are realistic threats","author":"chen","year":"2005","journal-title":"Proc 14th Conf USENIX Secur Symp"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304065"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00019"}],"container-title":["IEEE Transactions on Computers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/12\/10177816\/10027194.pdf?arnumber=10027194","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,31]],"date-time":"2023-07-31T17:29:35Z","timestamp":1690824575000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10027194\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,1]]},"references-count":45,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/tc.2023.3240365","relation":{},"ISSN":["0018-9340","1557-9956","2326-3814"],"issn-type":[{"type":"print","value":"0018-9340"},{"type":"electronic","value":"1557-9956"},{"type":"electronic","value":"2326-3814"}],"subject":[],"published":{"date-parts":[[2023,8,1]]}}}