{"id":"https://openalex.org/W4402310141","doi":"https://doi.org/10.1145/3695250","title":"SPATA: Effective OS Bug Detection with Summary-Based, Alias-Aware, and Path-Sensitive Typestate Analysis","display_name":"SPATA: Effective OS Bug Detection with Summary-Based, Alias-Aware, and Path-Sensitive Typestate Analysis","publication_year":2024,"publication_date":"2024-09-06","ids":{"openalex":"https://openalex.org/W4402310141","doi":"https://doi.org/10.1145/3695250"},"language":"en","primary_location":{"id":"doi:10.1145/3695250","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3695250","pdf_url":null,"source":{"id":"https://openalex.org/S193109227","display_name":"ACM Transactions on Computer Systems","issn_l":"0734-2071","issn":["0734-2071","1557-7333"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computer Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5072858586","display_name":"T. F. Li","orcid":"https://orcid.org/0000-0002-2955-6788"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tuo Li","raw_affiliation_strings":["Department of Computer Science and Technology, Tsinghua University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-2955-6788","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017174482","display_name":"Jia-Ju Bai","orcid":"https://orcid.org/0000-0002-9500-6100"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jia-Ju Bai","raw_affiliation_strings":["School of Cyber Science and Technology, Beihang University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-9500-6100","affiliations":[{"raw_affiliation_string":"School of Cyber Science and Technology, Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053058502","display_name":"Yulei Sui","orcid":"https://orcid.org/0000-0002-9510-6574"},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Yulei Sui","raw_affiliation_strings":["School of Computer Science and Engineering, University of New South Wales, Sydney, Australia"],"raw_orcid":"https://orcid.org/0000-0002-9510-6574","affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, University of New South Wales, Sydney, Australia","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037233582","display_name":"Shi\u2010Min Hu","orcid":"https://orcid.org/0000-0001-7507-6542"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shi-Min Hu","raw_affiliation_strings":["Department of Computer Science and Technology, Tsinghua University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-7507-6542","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.5286,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.83226456,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":"42","issue":"3-4","first_page":"1","last_page":"40"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":1.0,"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"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9991999864578247,"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.9987000226974487,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8686639070510864},{"id":"https://openalex.org/keywords/alias","display_name":"Alias","score":0.7651501297950745},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.5254049897193909},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4825098514556885},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.29132217168807983},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.124185711145401}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8686639070510864},{"id":"https://openalex.org/C46681722","wikidata":"https://www.wikidata.org/wiki/Q4725589","display_name":"Alias","level":2,"score":0.7651501297950745},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.5254049897193909},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4825098514556885},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29132217168807983},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.124185711145401}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3695250","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3695250","pdf_url":null,"source":{"id":"https://openalex.org/S193109227","display_name":"ACM Transactions on Computer Systems","issn_l":"0734-2071","issn":["0734-2071","1557-7333"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computer Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":78,"referenced_works":["https://openalex.org/W177731530","https://openalex.org/W233657246","https://openalex.org/W951859702","https://openalex.org/W1507552563","https://openalex.org/W1566904115","https://openalex.org/W1667615663","https://openalex.org/W1971327145","https://openalex.org/W1971782746","https://openalex.org/W1982205631","https://openalex.org/W1988574853","https://openalex.org/W1991546210","https://openalex.org/W1994702126","https://openalex.org/W1996146601","https://openalex.org/W1999517284","https://openalex.org/W2014323361","https://openalex.org/W2015927945","https://openalex.org/W2036208810","https://openalex.org/W2036882381","https://openalex.org/W2044590882","https://openalex.org/W2056689755","https://openalex.org/W2060439939","https://openalex.org/W2066353350","https://openalex.org/W2072385532","https://openalex.org/W2083878525","https://openalex.org/W2101811680","https://openalex.org/W2103714221","https://openalex.org/W2106972913","https://openalex.org/W2110780253","https://openalex.org/W2112936713","https://openalex.org/W2134311998","https://openalex.org/W2135163511","https://openalex.org/W2139223589","https://openalex.org/W2152055469","https://openalex.org/W2152777241","https://openalex.org/W2161246680","https://openalex.org/W2162023704","https://openalex.org/W2169304846","https://openalex.org/W2289498116","https://openalex.org/W2396234346","https://openalex.org/W2398998478","https://openalex.org/W2585582603","https://openalex.org/W2623757933","https://openalex.org/W2724800275","https://openalex.org/W2751862727","https://openalex.org/W2766711930","https://openalex.org/W2773223713","https://openalex.org/W2785870245","https://openalex.org/W2787928226","https://openalex.org/W2799226481","https://openalex.org/W2890190663","https://openalex.org/W2914074464","https://openalex.org/W2914982603","https://openalex.org/W2954121408","https://openalex.org/W2978234104","https://openalex.org/W2981689050","https://openalex.org/W2987375469","https://openalex.org/W2991920445","https://openalex.org/W3003698748","https://openalex.org/W3004291881","https://openalex.org/W3005914750","https://openalex.org/W3009050206","https://openalex.org/W3011557297","https://openalex.org/W3018596786","https://openalex.org/W3019415692","https://openalex.org/W3022678461","https://openalex.org/W3089416068","https://openalex.org/W3109904794","https://openalex.org/W3110216559","https://openalex.org/W3140694517","https://openalex.org/W3147482974","https://openalex.org/W3173766797","https://openalex.org/W3183979683","https://openalex.org/W3205875080","https://openalex.org/W4214730640","https://openalex.org/W4235785239","https://openalex.org/W4244413641","https://openalex.org/W4244726870","https://openalex.org/W4251181392"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W4385605198","https://openalex.org/W2151266859","https://openalex.org/W2056017980","https://openalex.org/W2333004434","https://openalex.org/W4256550813","https://openalex.org/W4400966522","https://openalex.org/W1557487237","https://openalex.org/W4248617250"],"abstract_inverted_index":{"The":[0],"operating":[1],"system":[2],"(OS)":[3],"is":[4,25,37,49],"the":[5,29,104,126,165],"cornerstone":[6],"for":[7,17,41,54,139],"computer":[8,32],"systems.":[9,33],"It":[10],"manages":[11],"hardware":[12],"and":[13,75,89,117,131,168,173],"provides":[14],"fundamental":[15],"service":[16],"user-level":[18],"applications.":[19],"Thus,":[20],"detecting":[21,42],"bugs":[22,178],"in":[23,103,193],"OSes":[24],"important":[26],"to":[27,59,94,134,149,197],"improve":[28],"reliability":[30],"of":[31,45,61,70,128,183],"Static":[34],"typestate":[35,71,91,129,137],"analysis":[36,92,112,138,148,157,188],"a":[38,85,109,180,190],"common":[39],"technique":[40],"various":[43],"types":[44],"bugs,":[46],"but":[47],"it":[48,174],"often":[50],"inaccurate":[51],"or":[52],"unscalable":[53],"large-size":[55],"OS":[56,96,105],"code,":[57,106],"due":[58],"imprecision":[60],"identifying":[62],"alias":[63,101,111,122,156],"relationships":[64,102],"as":[65,67],"well":[66],"high":[68],"costs":[69,127],"tracking,":[72],"path-feasibility":[73,132],"validation,":[74,133],"inter-procedural":[76,151],"analysis.":[77,199],"In":[78],"this":[79],"article,":[80],"1":[81],"we":[82],"present":[83],"SPATA,":[84],"novel":[86],"summary-based,":[87],"alias-aware,":[88],"path-sensitive":[90,136],"framework":[93],"detect":[95],"bugs.":[97],"To":[98],"identify":[99],"precise":[100],"SPATA":[107,124,144,163],"performs":[108],"path-based":[110],"based":[113],"on":[114,164],"control-flow":[115],"paths":[116],"access":[118],"paths.":[119],"With":[120],"these":[121],"relationships,":[123],"reduces":[125],"tracking":[130],"accelerate":[135,150],"accurate":[140],"bug":[141,152,194],"detection.":[142],"Moreover,":[143],"uses":[145],"an":[146],"alias-summary-based":[147,187],"detection,":[153],"without":[154],"time-consuming":[155],"across":[158],"functions.":[159],"We":[160],"have":[161],"evaluated":[162],"Linux":[166],"kernel":[167],"three":[169],"popular":[170],"IoT":[171],"OSes,":[172],"finds":[175],"651":[176],"real":[177],"with":[179],"false-positive":[181],"rate":[182],"18%.":[184],"Besides,":[185],"our":[186],"achieves":[189],"6.7x":[191],"speedup":[192],"detection":[195],"compared":[196],"non-summary-based":[198]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}