{"id":"https://openalex.org/W7161133815","doi":"https://doi.org/10.48550/arxiv.2605.13246","title":"Automatic Detection of Reference Counting Bugs in Linux Kernel Drivers","display_name":"Automatic Detection of Reference Counting Bugs in Linux Kernel Drivers","publication_year":2026,"publication_date":"2026-05-13","ids":{"openalex":"https://openalex.org/W7161133815","doi":"https://doi.org/10.48550/arxiv.2605.13246"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.13246","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.13246","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2605.13246","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030898443","display_name":"Joe Hattori","orcid":"https://orcid.org/0000-0001-5177-8275"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hattori, Joe","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136147095","display_name":"Naoki Kobayashi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kobayashi, Naoki","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5049034602","display_name":"Ken Sakayori","orcid":"https://orcid.org/0000-0003-3238-9279"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sakayori, Ken","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.7391999959945679,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.7391999959945679,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.061799999326467514,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.024900000542402267,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/linux-kernel","display_name":"Linux kernel","score":0.8697999715805054},{"id":"https://openalex.org/keywords/kernel","display_name":"Kernel (algebra)","score":0.6672999858856201},{"id":"https://openalex.org/keywords/rootkit","display_name":"Rootkit","score":0.5458999872207642},{"id":"https://openalex.org/keywords/assertion","display_name":"Assertion","score":0.484499990940094},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.4657999873161316},{"id":"https://openalex.org/keywords/linux-unified-key-setup","display_name":"Linux Unified Key Setup","score":0.4636000096797943},{"id":"https://openalex.org/keywords/configfs","display_name":"Configfs","score":0.4242999851703644}],"concepts":[{"id":"https://openalex.org/C553261973","wikidata":"https://www.wikidata.org/wiki/Q14579","display_name":"Linux kernel","level":2,"score":0.8697999715805054},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7567999958992004},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.7214000225067139},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.6672999858856201},{"id":"https://openalex.org/C10144332","wikidata":"https://www.wikidata.org/wiki/Q14645","display_name":"Rootkit","level":3,"score":0.5458999872207642},{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.484499990940094},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.4657999873161316},{"id":"https://openalex.org/C45463861","wikidata":"https://www.wikidata.org/wiki/Q942617","display_name":"Linux Unified Key Setup","level":3,"score":0.4636000096797943},{"id":"https://openalex.org/C94127936","wikidata":"https://www.wikidata.org/wiki/Q5160105","display_name":"Configfs","level":3,"score":0.4242999851703644},{"id":"https://openalex.org/C2778579508","wikidata":"https://www.wikidata.org/wiki/Q722192","display_name":"System call","level":2,"score":0.4212000072002411},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3767000138759613},{"id":"https://openalex.org/C90307666","wikidata":"https://www.wikidata.org/wiki/Q1932562","display_name":"sysfs","level":3,"score":0.3700999915599823},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.3637000024318695},{"id":"https://openalex.org/C93996380","wikidata":"https://www.wikidata.org/wiki/Q44127","display_name":"Server","level":2,"score":0.34619998931884766},{"id":"https://openalex.org/C95922358","wikidata":"https://www.wikidata.org/wiki/Q5432725","display_name":"False positive rate","level":2,"score":0.3416000008583069},{"id":"https://openalex.org/C517481932","wikidata":"https://www.wikidata.org/wiki/Q388","display_name":"GNU/Linux","level":3,"score":0.33899998664855957},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29899999499320984},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.27239999175071716},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.26899999380111694},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.2515999972820282}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.13246","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.13246","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.13246","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.13246","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/8","score":0.43426552414894104,"display_name":"Decent work and economic growth"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Reference":[0],"counting":[1,30],"bugs":[2,26],"in":[3,67],"Linux":[4,39,47,69,98],"kernel":[5,48],"drivers":[6,66],"can":[7],"lead":[8],"to":[9,23,32,80,96],"severe":[10],"resource":[11],"mismanagement":[12],"and":[13,49,100],"security":[14],"vulnerabilities.":[15],"We":[16],"introduce":[17],"DrvHorn,":[18],"a":[19,72],"novel":[20],"automated":[21],"tool":[22],"detect":[24],"these":[25,89],"by":[27],"reducing":[28],"reference":[29],"verification":[31],"an":[33],"assertion":[34],"checking":[35],"problem":[36],"leveraging":[37],"the":[38,46,85,97],"driver":[40],"interface.":[41],"Through":[42],"efficient":[43],"modeling":[44],"of":[45,57,77,88,102],"aggressive":[50],"program":[51],"slicing,":[52],"DrvHorn":[53],"discovered":[54,91],"545":[55],"bugs,":[56,92],"which":[58],"424":[59],"were":[60,104],"previously":[61],"unknown,":[62],"across":[63],"all":[64],"platform":[65],"v6.6":[68],"kernel,":[70,99],"with":[71],"lower":[73],"false":[74],"positive":[75],"rate":[76],"29.9%":[78],"compared":[79],"prior":[81],"studies.":[82],"To":[83],"address":[84],"root":[86],"causes":[87],"newly":[90],"we":[93],"submitted":[94],"patches":[95],"45":[101],"them":[103],"merged.":[105]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-05-15T00:00:00"}