{"id":"https://openalex.org/W4394744867","doi":"https://doi.org/10.1109/tse.2024.3377645","title":"Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis","display_name":"Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis","publication_year":2024,"publication_date":"2024-04-12","ids":{"openalex":"https://openalex.org/W4394744867","doi":"https://doi.org/10.1109/tse.2024.3377645"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2024.3377645","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2024.3377645","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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055127933","display_name":"Haofeng Li","orcid":"https://orcid.org/0009-0008-0931-8767"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Haofeng Li","raw_affiliation_strings":["SKLP, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"SKLP, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007391734","display_name":"Tian Tan","orcid":"https://orcid.org/0009-0009-3792-1237"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tian Tan","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107249156","display_name":"Yue Li","orcid":"https://orcid.org/0009-0009-1285-2298"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yue Li","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068388413","display_name":"Jie Lu","orcid":"https://orcid.org/0000-0002-4162-0404"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jie Lu","raw_affiliation_strings":["SKLP, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"SKLP, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053594943","display_name":"Haining Meng","orcid":"https://orcid.org/0009-0008-7149-7671"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haining Meng","raw_affiliation_strings":["SKLP, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","University of Chinese Academy of Sciences, China"],"affiliations":[{"raw_affiliation_string":"SKLP, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026208461","display_name":"Liqing Cao","orcid":null},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liqing Cao","raw_affiliation_strings":["SKLP, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","University of Chinese Academy of Sciences, China"],"affiliations":[{"raw_affiliation_string":"SKLP, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101335512","display_name":"Yongheng Huang","orcid":"https://orcid.org/0009-0001-7874-6430"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yongheng Huang","raw_affiliation_strings":["SKLP, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","University of Chinese Academy of Sciences, China"],"affiliations":[{"raw_affiliation_string":"SKLP, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100317802","display_name":"Lian Li","orcid":"https://orcid.org/0000-0002-4476-0541"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lian Li","raw_affiliation_strings":["SKLP, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","University of Chinese Academy of Sciences, China","Zhongguancun Laboratory, China"],"affiliations":[{"raw_affiliation_string":"SKLP, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210165038"]},{"raw_affiliation_string":"Zhongguancun Laboratory, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083753621","display_name":"Lin Gao","orcid":"https://orcid.org/0000-0002-1781-4671"},"institutions":[{"id":"https://openalex.org/I4210116636","display_name":"Tiande (China)","ror":"https://ror.org/02das4m93","country_code":"CN","type":"company","lineage":["https://openalex.org/I4210116636"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lin Gao","raw_affiliation_strings":["TianqiSoft Inc., Beijing, China"],"affiliations":[{"raw_affiliation_string":"TianqiSoft Inc., Beijing, China","institution_ids":["https://openalex.org/I4210116636"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000833287","display_name":"Peng Di","orcid":"https://orcid.org/0000-0002-5799-5876"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Peng Di","raw_affiliation_strings":["Ant Group, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"Ant Group, Hangzhou, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100412937","display_name":"Liang Lin","orcid":"https://orcid.org/0000-0003-2248-3755"},"institutions":[{"id":"https://openalex.org/I45928872","display_name":"Alibaba Group (China)","ror":"https://ror.org/00k642b80","country_code":"CN","type":"company","lineage":["https://openalex.org/I45928872"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liang Lin","raw_affiliation_strings":["Alibaba Group, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Alibaba Group, Beijing, China","institution_ids":["https://openalex.org/I45928872"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109704455","display_name":"ChenXi Cui","orcid":null},"institutions":[{"id":"https://openalex.org/I45928872","display_name":"Alibaba Group (China)","ror":"https://ror.org/00k642b80","country_code":"CN","type":"company","lineage":["https://openalex.org/I45928872"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"ChenXi Cui","raw_affiliation_strings":["Alibaba Group, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Alibaba Group, Beijing, China","institution_ids":["https://openalex.org/I45928872"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":12,"corresponding_author_ids":["https://openalex.org/A5055127933"],"corresponding_institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210090176"],"apc_list":null,"apc_paid":null,"fwci":0.7037,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.64875617,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":"50","issue":"5","first_page":"1144","last_page":"1162"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9998000264167786,"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.9998000264167786,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994999766349792,"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/T10260","display_name":"Software Engineering Research","score":0.9990000128746033,"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/computer-science","display_name":"Computer science","score":0.8656485676765442},{"id":"https://openalex.org/keywords/pointer-analysis","display_name":"Pointer analysis","score":0.8141834735870361},{"id":"https://openalex.org/keywords/pointer","display_name":"Pointer (user interface)","score":0.6526376008987427},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6139397621154785},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.5177227854728699},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.5155541896820068},{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.4951736032962799},{"id":"https://openalex.org/keywords/personalization","display_name":"Personalization","score":0.4875726103782654},{"id":"https://openalex.org/keywords/sensitivity","display_name":"Sensitivity (control systems)","score":0.4722147583961487},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4185697138309479},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.29309022426605225},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.2589619755744934},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1891309916973114},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.09074646234512329}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8656485676765442},{"id":"https://openalex.org/C7263679","wikidata":"https://www.wikidata.org/wiki/Q5978076","display_name":"Pointer analysis","level":3,"score":0.8141834735870361},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.6526376008987427},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6139397621154785},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.5177227854728699},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.5155541896820068},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.4951736032962799},{"id":"https://openalex.org/C183003079","wikidata":"https://www.wikidata.org/wiki/Q1000371","display_name":"Personalization","level":2,"score":0.4875726103782654},{"id":"https://openalex.org/C21200559","wikidata":"https://www.wikidata.org/wiki/Q7451068","display_name":"Sensitivity (control systems)","level":2,"score":0.4722147583961487},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4185697138309479},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.29309022426605225},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.2589619755744934},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1891309916973114},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.09074646234512329},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C24326235","wikidata":"https://www.wikidata.org/wiki/Q126095","display_name":"Electronic engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tse.2024.3377645","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2024.3377645","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2233894006","display_name":null,"funder_award_id":"2022YFB3103900","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G8267205545","display_name":null,"funder_award_id":"62132020","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":60,"referenced_works":["https://openalex.org/W100599422","https://openalex.org/W148396834","https://openalex.org/W311484711","https://openalex.org/W1486426841","https://openalex.org/W1536098516","https://openalex.org/W1545985476","https://openalex.org/W1557543533","https://openalex.org/W1570839833","https://openalex.org/W1971859150","https://openalex.org/W1978594327","https://openalex.org/W1999517284","https://openalex.org/W2000952465","https://openalex.org/W2008106620","https://openalex.org/W2017025011","https://openalex.org/W2046699259","https://openalex.org/W2077337386","https://openalex.org/W2080205938","https://openalex.org/W2149237601","https://openalex.org/W2158600037","https://openalex.org/W2162544703","https://openalex.org/W2166091242","https://openalex.org/W2166743230","https://openalex.org/W2169953045","https://openalex.org/W2508295954","https://openalex.org/W2518060702","https://openalex.org/W2604520577","https://openalex.org/W2621822648","https://openalex.org/W2626029330","https://openalex.org/W2761799536","https://openalex.org/W2763994238","https://openalex.org/W2898232260","https://openalex.org/W2898502769","https://openalex.org/W2899357780","https://openalex.org/W2950121745","https://openalex.org/W2980018082","https://openalex.org/W3000614974","https://openalex.org/W3008974726","https://openalex.org/W3022144859","https://openalex.org/W3030148664","https://openalex.org/W3033653001","https://openalex.org/W3070889539","https://openalex.org/W3109474872","https://openalex.org/W3163546604","https://openalex.org/W3205875080","https://openalex.org/W3207476902","https://openalex.org/W4205577328","https://openalex.org/W4206047963","https://openalex.org/W4206490097","https://openalex.org/W4206770190","https://openalex.org/W4235278598","https://openalex.org/W4247889999","https://openalex.org/W4251478049","https://openalex.org/W4254604099","https://openalex.org/W4308643014","https://openalex.org/W4379533994","https://openalex.org/W4384155580","https://openalex.org/W6610809863","https://openalex.org/W6682018898","https://openalex.org/W6697017091","https://openalex.org/W6847116524"],"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/W2370320024","https://openalex.org/W3147482974","https://openalex.org/W2362627649","https://openalex.org/W2260512874","https://openalex.org/W2134569009"],"abstract_inverted_index":{"Generic":[0],"programming":[1],"has":[2],"found":[3],"widespread":[4],"application":[5],"in":[6,45,84,100],"object-oriented":[7],"languages":[8],"like":[9],"Java.":[10],"However,":[11],"existing":[12,128],"context-sensitive":[13,86],"pointer":[14],"analyses":[15],"fail":[16],"to":[17,106,146,152,164],"leverage":[18],"the":[19,89],"benefits":[20],"of":[21,97,160],"generic":[22,50,56,124],"programming.":[23],"This":[24,68],"paper":[25],"introduces":[26],"<italic":[27],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[28],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">generic":[29],"sensitivity</i>":[30],",":[31],"a":[32,47,75,85,132,143,153],"new":[33,133],"context":[34,42,66],"customization":[35,43],"scheme":[36,44],"targeting":[37],"generics.":[38],"We":[39,92],"design":[40],"our":[41],"such":[46],"way":[48],"that":[49,123],"instantiation":[51],"sites,":[52],"i.e.,":[53],"locations":[54],"instantiating":[55],"classes/methods":[57],"with":[58,74,109,156],"concrete":[59],"types,":[60],"are":[61],"always":[62],"preserved":[63],"as":[64],"key":[65],"elements.":[67],"is":[69,81],"realized":[70],"by":[71],"augmenting":[72],"contexts":[73],"type":[76],"variable":[77],"lookup":[78],"map,":[79],"which":[80],"efficiently":[82],"generated":[83],"manner":[87],"throughout":[88],"analysis":[90,99,145],"process.":[91],"have":[93],"implemented":[94],"various":[95],"variants":[96],"generic-sensitive":[98],"WALA":[101],"and":[102,115,137],"conducted":[103],"extensive":[104],"experiments":[105],"compare":[107],"it":[108,141],"state-of-the-art":[110],"approaches,":[111,130],"including":[112],"both":[113],"traditional":[114],"selective":[116],"context-sensitivity":[117,129],"methods.":[118],"The":[119],"evaluation":[120],"results":[121],"demonstrate":[122],"sensitivity":[125],"effectively":[126],"enhances":[127],"striking":[131],"balance":[134],"between":[135],"efficiency":[136],"precision.":[138],"For":[139],"instance,":[140],"enables":[142],"1-object-sensitive":[144],"achieve":[147],"overall":[148],"better":[149],"precision":[150],"compared":[151],"2-object-sensitive":[154],"analysis,":[155],"an":[157],"average":[158],"speedup":[159],"12.6":[161],"times":[162],"(up":[163],"62":[165],"times).":[166]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-03-27T14:29:43.386196","created_date":"2025-10-10T00:00:00"}