{"id":"https://openalex.org/W4387667069","doi":"https://doi.org/10.1145/3622832","title":"A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis","display_name":"A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis","publication_year":2023,"publication_date":"2023-10-16","ids":{"openalex":"https://openalex.org/W4387667069","doi":"https://doi.org/10.1145/3622832"},"language":"en","primary_location":{"id":"doi:10.1145/3622832","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622832","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622832","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3622832","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090373034","display_name":"Dongjie He","orcid":"https://orcid.org/0000-0003-0304-8942"},"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":true,"raw_author_name":"Dongjie He","raw_affiliation_strings":["UNSW, Sydney, Australia"],"raw_orcid":"https://orcid.org/0000-0003-0304-8942","affiliations":[{"raw_affiliation_string":"UNSW, Sydney, Australia","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103043369","display_name":"Yujiang Gui","orcid":"https://orcid.org/0009-0006-3999-5203"},"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":"Yujiang Gui","raw_affiliation_strings":["UNSW, Sydney, Australia"],"raw_orcid":"https://orcid.org/0009-0006-3999-5203","affiliations":[{"raw_affiliation_string":"UNSW, Sydney, Australia","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103182771","display_name":"Wei Li","orcid":"https://orcid.org/0000-0003-0576-6243"},"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":"Wei Li","raw_affiliation_strings":["UNSW, Sydney, Australia"],"raw_orcid":"https://orcid.org/0000-0003-0576-6243","affiliations":[{"raw_affiliation_string":"UNSW, Sydney, Australia","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069783932","display_name":"Yonggang Tao","orcid":"https://orcid.org/0009-0006-3669-2047"},"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":"Yonggang Tao","raw_affiliation_strings":["UNSW, Sydney, Australia"],"raw_orcid":"https://orcid.org/0009-0006-3669-2047","affiliations":[{"raw_affiliation_string":"UNSW, Sydney, Australia","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057460408","display_name":"Changwei Zou","orcid":"https://orcid.org/0000-0003-3371-2138"},"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":"Changwei Zou","raw_affiliation_strings":["UNSW, Sydney, Australia"],"raw_orcid":"https://orcid.org/0000-0003-3371-2138","affiliations":[{"raw_affiliation_string":"UNSW, Sydney, Australia","institution_ids":["https://openalex.org/I31746571"]}]},{"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":["UNSW, Sydney, Australia"],"raw_orcid":"https://orcid.org/0000-0002-9510-6574","affiliations":[{"raw_affiliation_string":"UNSW, Sydney, Australia","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024664385","display_name":"Jingling Xue","orcid":"https://orcid.org/0000-0003-0380-3506"},"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":"Jingling Xue","raw_affiliation_strings":["UNSW, Sydney, Australia"],"raw_orcid":"https://orcid.org/0000-0003-0380-3506","affiliations":[{"raw_affiliation_string":"UNSW, Sydney, Australia","institution_ids":["https://openalex.org/I31746571"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5090373034"],"corresponding_institution_ids":["https://openalex.org/I31746571"],"apc_list":null,"apc_paid":null,"fwci":1.5351,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.84116373,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":98},"biblio":{"volume":"7","issue":"OOPSLA2","first_page":"971","last_page":"1000"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9995999932289124,"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":0.9995999932289124,"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.9988999962806702,"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.9980000257492065,"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.712140679359436},{"id":"https://openalex.org/keywords/pointer-analysis","display_name":"Pointer analysis","score":0.645250678062439},{"id":"https://openalex.org/keywords/container","display_name":"Container (type theory)","score":0.6294832229614258},{"id":"https://openalex.org/keywords/pointer","display_name":"Pointer (user interface)","score":0.5722188353538513},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5586689114570618},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.46117034554481506},{"id":"https://openalex.org/keywords/context-model","display_name":"Context model","score":0.4221786856651306},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.41429680585861206},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.39150887727737427},{"id":"https://openalex.org/keywords/object","display_name":"Object (grammar)","score":0.386441171169281},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34599167108535767},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.28913116455078125},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.15523886680603027}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.712140679359436},{"id":"https://openalex.org/C7263679","wikidata":"https://www.wikidata.org/wiki/Q5978076","display_name":"Pointer analysis","level":3,"score":0.645250678062439},{"id":"https://openalex.org/C2781018962","wikidata":"https://www.wikidata.org/wiki/Q5164884","display_name":"Container (type theory)","level":2,"score":0.6294832229614258},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.5722188353538513},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5586689114570618},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.46117034554481506},{"id":"https://openalex.org/C183322885","wikidata":"https://www.wikidata.org/wiki/Q17007702","display_name":"Context model","level":3,"score":0.4221786856651306},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.41429680585861206},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.39150887727737427},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.386441171169281},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34599167108535767},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.28913116455078125},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.15523886680603027},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3622832","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622832","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622832","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3622832","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622832","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622832","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Reduced inequalities","score":0.6100000143051147,"id":"https://metadata.un.org/sdg/10"}],"awards":[{"id":"https://openalex.org/G2019927542","display_name":null,"funder_award_id":"DP210102409","funder_id":"https://openalex.org/F4320334704","funder_display_name":"Australian Research Council"}],"funders":[{"id":"https://openalex.org/F4320334704","display_name":"Australian Research Council","ror":"https://ror.org/05mmh0f86"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4387667069.pdf","grobid_xml":"https://content.openalex.org/works/W4387667069.grobid-xml"},"referenced_works_count":47,"referenced_works":["https://openalex.org/W1503669439","https://openalex.org/W1536098516","https://openalex.org/W1650097949","https://openalex.org/W1966032455","https://openalex.org/W1969599528","https://openalex.org/W1971859150","https://openalex.org/W1997981086","https://openalex.org/W2060439939","https://openalex.org/W2080696000","https://openalex.org/W2110833886","https://openalex.org/W2151562310","https://openalex.org/W2162544703","https://openalex.org/W2167363133","https://openalex.org/W2169304846","https://openalex.org/W2295857493","https://openalex.org/W2508295954","https://openalex.org/W2621822648","https://openalex.org/W2761799536","https://openalex.org/W2898232260","https://openalex.org/W2898502769","https://openalex.org/W2920740222","https://openalex.org/W2980018082","https://openalex.org/W3005566493","https://openalex.org/W3009007914","https://openalex.org/W3010216686","https://openalex.org/W3030148664","https://openalex.org/W3033597692","https://openalex.org/W3099499197","https://openalex.org/W3109474872","https://openalex.org/W3117677213","https://openalex.org/W3163546604","https://openalex.org/W3185057029","https://openalex.org/W3185514416","https://openalex.org/W3207476902","https://openalex.org/W3207496574","https://openalex.org/W4205577328","https://openalex.org/W4206047963","https://openalex.org/W4220988444","https://openalex.org/W4225159042","https://openalex.org/W4235278598","https://openalex.org/W4243644740","https://openalex.org/W4253459289","https://openalex.org/W4308643014","https://openalex.org/W4308643091","https://openalex.org/W4312321873","https://openalex.org/W4313828767","https://openalex.org/W6967079071"],"related_works":["https://openalex.org/W2553375745","https://openalex.org/W2363386825","https://openalex.org/W2188526093","https://openalex.org/W1996094959","https://openalex.org/W2999115679","https://openalex.org/W1979582240","https://openalex.org/W2891057055","https://openalex.org/W2370320024","https://openalex.org/W4375928559","https://openalex.org/W3147482974"],"abstract_inverted_index":{"In":[0],"this":[1,80],"paper,":[2],"we":[3],"introduce":[4,95],"DebloaterX,":[5],"a":[6,43,58,63,96,236],"new":[7,71],"approach":[8,60,83,100],"for":[9,160],"automatically":[10],"identifying":[11],"context-independent":[12,67,88,158,199],"objects":[13,35,68,89,103,125,159,196],"to":[14,42,112,152,197,205,226,245],"debloat":[15],"contexts":[16,38,47],"in":[17,48,52,142,167,249,257,269],"object-sensitive":[18],"pointer":[19],"analysis":[20],"(":[21],"k":[22,77,113,203,214,220,231,251],"obj).":[23],"Object":[24],"sensitivity":[25],"achieves":[26],"high":[27],"precision,":[28],"but":[29],"its":[30],"context":[31],"construction":[32],"mechanism":[33],"combines":[34],"with":[36,138,234],"their":[37],"indiscriminately.":[39],"This":[40],"leads":[41],"combinatorial":[44],"explosion":[45],"of":[46,66,76,87,129,195,211,239],"large":[49],"programs,":[50],"resulting":[51],"inefficiency.":[53],"Previous":[54],"research":[55,122],"has":[56],"proposed":[57],"context-debloating":[59,82,98,267],"that":[61,101,124,191],"inhibits":[62],"pre-selected":[64],"set":[65,86],"from":[69],"forming":[70],"contexts,":[72],"improving":[73],"the":[74,85,168,275],"efficiency":[75,261,270],"obj.":[78],"However,":[79],"earlier":[81,266],"under-approximates":[84],"identified,":[90],"limiting":[91],"performance":[92],"speedups.":[93],"We":[94,145,163],"novel":[97],"pre-analysis":[99],"identifies":[102],"as":[104,175],"context-dependent":[105],"only":[106,235],"when":[107,213,219,230],"they":[108],"are":[109],"potentially":[110],"precision-critical":[111],"obj":[114,204],"based":[115],"on":[116,182,200],"three":[117],"general":[118],"container-usage":[119],"patterns.":[120],"Our":[121,179],"finds":[123],"containing":[126],"no":[127],"fields":[128],"\u201dabstract\u201d":[130],"(i.e.,":[131],"open)":[132],"types":[133],"can":[134],"be":[135,198],"analyzed":[136],"context-insensitively":[137],"negligible":[139,237],"precision":[140,240,259],"loss":[141,238],"real-world":[143,188],"applications.":[144],"provide":[146],"clear":[147],"rules":[148],"and":[149,171,187,217,223,260,262],"efficient":[150],"algorithms":[151],"recognize":[153],"these":[154],"patterns,":[155],"selecting":[156],"more":[157,228],"better":[161],"debloating.":[162],"have":[164],"implemented":[165],"DebloaterX":[166,192,253],"Qilin":[169],"framework":[170],"will":[172],"release":[173],"it":[174],"an":[176],"open-source":[177],"tool.":[178],"experimental":[180],"results":[181],"12":[183],"standard":[184],"Java":[185],"benchmarks":[186],"programs":[189,229],"show":[190],"selects":[193],"92.4%":[194],"average,":[201],"enabling":[202],"run":[206],"significantly":[207,256],"faster":[208],"(an":[209],"average":[210],"19.3x":[212],"=":[215,221,232],"2":[216],"150.2x":[218],"3)":[222],"scale":[224],"up":[225],"8":[227],"3,":[233],"(less":[241],"than":[242],"0.2%).":[243],"Compared":[244],"state-of-the-art":[246],"alternative":[247],"pre-analyses":[248],"accelerating":[250],"obj,":[252],"outperforms":[254,263],"Zipper":[255],"both":[258],"Conch":[264],"(the":[265],"approach)":[268],"substantially":[271],"while":[272],"achieving":[273],"nearly":[274],"same":[276],"precision.":[277]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}