{"id":"https://openalex.org/W4220988444","doi":"https://doi.org/10.1109/tse.2022.3162236","title":"Selecting Context-Sensitivity Modularly for Accelerating Object-Sensitive Pointer Analysis","display_name":"Selecting Context-Sensitivity Modularly for Accelerating Object-Sensitive Pointer Analysis","publication_year":2022,"publication_date":"2022-03-24","ids":{"openalex":"https://openalex.org/W4220988444","doi":"https://doi.org/10.1109/tse.2022.3162236"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2022.3162236","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2022.3162236","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://unsworks.unsw.edu.au/bitstreams/65b1d707-6d84-4d09-a223-8637249d6c7b/download","any_repository_has_fulltext":true},"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":["University of New South Wales Sydney, Sydney, NSW, Australia"],"affiliations":[{"raw_affiliation_string":"University of New South Wales Sydney, Sydney, NSW, Australia","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010741195","display_name":"Jingbo Lu","orcid":"https://orcid.org/0000-0003-4070-3942"},"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":"Jingbo Lu","raw_affiliation_strings":["University of New South Wales Sydney, Sydney, NSW, Australia"],"affiliations":[{"raw_affiliation_string":"University of New South Wales Sydney, Sydney, NSW, Australia","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101439379","display_name":"Yaoqing Gao","orcid":"https://orcid.org/0000-0002-5392-5088"},"institutions":[{"id":"https://openalex.org/I4210115038","display_name":"Huawei Technologies (Canada)","ror":"https://ror.org/026venb53","country_code":"CA","type":"company","lineage":["https://openalex.org/I2250955327","https://openalex.org/I4210115038"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Yaoqing Gao","raw_affiliation_strings":["Huawei, Markham, ON, Canada"],"affiliations":[{"raw_affiliation_string":"Huawei, Markham, ON, Canada","institution_ids":["https://openalex.org/I4210115038"]}]},{"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":["University of New South Wales Sydney, Sydney, NSW, Australia"],"affiliations":[{"raw_affiliation_string":"University of New South Wales Sydney, Sydney, NSW, Australia","institution_ids":["https://openalex.org/I31746571"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5090373034"],"corresponding_institution_ids":["https://openalex.org/I31746571"],"apc_list":null,"apc_paid":null,"fwci":1.6546,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.82177294,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"49","issue":"2","first_page":"719","last_page":"742"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994000196456909,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994000196456909,"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.9993000030517578,"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/T10260","display_name":"Software Engineering Research","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/notation","display_name":"Notation","score":0.7612999677658081},{"id":"https://openalex.org/keywords/pointer","display_name":"Pointer (user interface)","score":0.71391761302948},{"id":"https://openalex.org/keywords/pointer-analysis","display_name":"Pointer analysis","score":0.5797699093818665},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5753093361854553},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5236513614654541},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.47226110100746155},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.38889360427856445},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.35514217615127563},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.29100704193115234},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.18744027614593506},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.15750426054000854},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.11655411124229431}],"concepts":[{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.7612999677658081},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.71391761302948},{"id":"https://openalex.org/C7263679","wikidata":"https://www.wikidata.org/wiki/Q5978076","display_name":"Pointer analysis","level":3,"score":0.5797699093818665},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5753093361854553},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5236513614654541},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.47226110100746155},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38889360427856445},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35514217615127563},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.29100704193115234},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.18744027614593506},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15750426054000854},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.11655411124229431},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tse.2022.3162236","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2022.3162236","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:unsworks.library.unsw.edu.au:1959.4/105892","is_oa":true,"landing_page_url":"http://hdl.handle.net/1959.4/105892","pdf_url":"https://unsworks.unsw.edu.au/bitstreams/65b1d707-6d84-4d09-a223-8637249d6c7b/download","source":{"id":"https://openalex.org/S4306401737","display_name":"UNSWorks (University of New South Wales, Sydney, Australia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40053085","host_organization_name":"Australian Defence Force Academy","host_organization_lineage":["https://openalex.org/I40053085"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Transactions on Software Engineering, 49, 2, 719-742","raw_type":"http://purl.org/coar/resource_type/c_6501"}],"best_oa_location":{"id":"pmh:oai:unsworks.library.unsw.edu.au:1959.4/105892","is_oa":true,"landing_page_url":"http://hdl.handle.net/1959.4/105892","pdf_url":"https://unsworks.unsw.edu.au/bitstreams/65b1d707-6d84-4d09-a223-8637249d6c7b/download","source":{"id":"https://openalex.org/S4306401737","display_name":"UNSWorks (University of New South Wales, Sydney, Australia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40053085","host_organization_name":"Australian Defence Force Academy","host_organization_lineage":["https://openalex.org/I40053085"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Transactions on Software Engineering, 49, 2, 719-742","raw_type":"http://purl.org/coar/resource_type/c_6501"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4220988444.pdf"},"referenced_works_count":48,"referenced_works":["https://openalex.org/W100599422","https://openalex.org/W148396834","https://openalex.org/W1503669439","https://openalex.org/W1536098516","https://openalex.org/W1971327145","https://openalex.org/W1971859150","https://openalex.org/W1997981086","https://openalex.org/W2051527230","https://openalex.org/W2080205938","https://openalex.org/W2080696000","https://openalex.org/W2093080079","https://openalex.org/W2110833886","https://openalex.org/W2112936713","https://openalex.org/W2125518044","https://openalex.org/W2135565307","https://openalex.org/W2158600037","https://openalex.org/W2162544703","https://openalex.org/W2166743230","https://openalex.org/W2167363133","https://openalex.org/W2169304846","https://openalex.org/W2293624369","https://openalex.org/W2294292201","https://openalex.org/W2295857493","https://openalex.org/W2341576050","https://openalex.org/W2491988174","https://openalex.org/W2508295954","https://openalex.org/W2547862110","https://openalex.org/W2553375745","https://openalex.org/W2556634892","https://openalex.org/W2621822648","https://openalex.org/W2626029330","https://openalex.org/W2626356917","https://openalex.org/W2761799536","https://openalex.org/W2888721414","https://openalex.org/W2898232260","https://openalex.org/W2898502769","https://openalex.org/W3000614974","https://openalex.org/W3185057029","https://openalex.org/W3185514416","https://openalex.org/W4237737995","https://openalex.org/W4243644740","https://openalex.org/W4247889999","https://openalex.org/W4251478049","https://openalex.org/W4300810260","https://openalex.org/W6697017091","https://openalex.org/W6697395890","https://openalex.org/W6729832636","https://openalex.org/W6799544652"],"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/W82217049"],"abstract_inverted_index":{"Object-sensitive":[0],"pointer":[1,60],"analysis":[2,61,225],"(denoted":[3],"<i>k</i>":[4,139,211,314],"<small>obj</small>":[5,140,212,315],"under":[6],"<inline-formula><tex-math":[7,114,117,159,321],"notation=\"LaTeX\">$k$</tex-math></inline-formula>":[8],"-limiting)":[9],"for":[10,33,121],"an":[11,324],"object-oriented":[12],"program":[13,76,102,186,228],"can":[14,19,187],"be":[15,20,188],"accelerated":[16],"if":[17],"context-sensitivity":[18],"selectively":[21],"applied":[22],"to":[23,43,137,141,167,226,234,257,266,279],"only":[24,92,204,307],"some":[25,93,181],"precision-critical":[26,282],"variables/objects":[27],"in":[28,74,100,171,184,295,302,327],"a":[29,44,109,125,177,205,221,235,251,308,340],"program.":[30],"Existing":[31],"pre-analyses":[32],"making":[34],"such":[35],"selections,":[36],"which":[37,292],"are":[38,46],"performed":[39],"as":[40,133],"whole-program":[41],"analyses":[42],"program,":[45,304],"developed":[47],"based":[48,190],"on":[49,191],"two":[50,130,168],"broad":[51],"approaches.":[52],"One":[53],"approach":[54,81,148],"preserves":[55],"the":[56,70,75,79,97,101,146,155,185,192,227,271,298,303,333,336],"precision":[57,87,153,312],"of":[58,208,239,250,297,300,311,335,342],"object-sensitive":[59],"but":[62,85,94],"achieves":[63,82],"limited":[64],"speedups":[65,84],"by":[66,90,229,276,338],"reasoning":[67],"about":[68,259],"all":[69,96,270],"possible":[71,272],"value":[72,98,273],"flows":[73,99,274],"conservatively,":[77],"while":[78],"other":[80],"greater":[83],"sacrifices":[86],"(often":[88],"unduly)":[89],"examining":[91],"not":[95],"heuristically.":[103],"In":[104,199,284],"this":[105,201,216,286],"paper,":[106],"we":[107,175,219,247],"introduce":[108],"new":[110,287],"pre-analysis":[111],"approach,":[112],"<small>Turner</small>":[113,158,320],"notation=\"LaTeX\">$^{\\mathcal{m}}$</tex-math></inline-formula>":[115,160,322],"(where":[116],"notation=\"LaTeX\">$\\mathcal":[118],"{m}$</tex-math></inline-formula>":[119],"stands":[120],"modularity),":[122],"that":[123,180],"represents":[124],"sweet":[126],"spot":[127],"between":[128],"these":[129],"existing":[131],"ones,":[132],"it":[134],"is":[135,161],"designed":[136],"enable":[138],"run":[142],"significantly":[143,151],"faster":[144],"than":[145,154],"former":[147],"and":[149,348],"achieve":[150],"better":[152],"latter":[156],"approach.":[157],"simple,":[162],"lightweight":[163],"yet":[164],"effective":[165],"due":[166],"novel":[169,222],"aspects":[170],"its":[172,231,240,264,267,277,281],"design.":[173],"First,":[174],"exploit":[176],"key":[178],"observation":[179],"precision-uncritical":[182],"objects":[183],"approximated":[189],"object-containment":[193],"relationship":[194],"pre-established":[195],"(from":[196],"Andersen's":[197],"analysis).":[198],"practice,":[200,285],"approximation":[202],"introduces":[203,305],"small":[206,309],"degree":[207],"imprecision":[209],"into":[210,313],".":[213,316],"Second,":[214],"leveraging":[215],"initial":[217],"approximation,":[218],"apply":[220],"object":[223,260,289],"reachability":[224,261,290],"pre-analyzing":[230,244],"methods":[232],"according":[233],"reverse":[236],"topological":[237],"order":[238],"call":[241],"graph.":[242],"When":[243],"each":[245],"method,":[246],"make":[248],"use":[249],"simple":[252],"DFA":[253],"(Deterministic":[254],"Finite":[255],"Automaton)":[256],"reason":[258],"intra-procedurally":[262],"from":[263],"entry":[265],"exit":[268],"along":[269],"established":[275],"statements":[278,301],"identify":[280],"variables/objects.":[283],"modular":[288],"analysis,":[291],"runs":[293],"linearly":[294],"terms":[296],"number":[299],"again":[306],"loss":[310],"We":[317],"have":[318],"validated":[319],"with":[323],"open-source":[325],"implementation":[326],"<small>Soot</small>":[328],"(already":[329],"publicly":[330],"available)":[331],"against":[332],"state":[334],"art":[337],"using":[339],"set":[341],"12":[343],"widely":[344],"used":[345],"Java":[346],"benchmarks":[347],"applications.":[349]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2}],"updated_date":"2026-03-11T14:59:36.786465","created_date":"2025-10-10T00:00:00"}