{"id":"https://openalex.org/W4403223035","doi":"https://doi.org/10.1145/3689804","title":"Boosting the Performance of Alias-Aware IFDS Analysis with CFL-Based Environment Transformers","display_name":"Boosting the Performance of Alias-Aware IFDS Analysis with CFL-Based Environment Transformers","publication_year":2024,"publication_date":"2024-10-08","ids":{"openalex":"https://openalex.org/W4403223035","doi":"https://doi.org/10.1145/3689804"},"language":"en","primary_location":{"id":"doi:10.1145/3689804","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3689804","pdf_url":null,"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":null,"license_id":null,"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://doi.org/10.1145/3689804","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/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, CAS, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0008-0931-8767","affiliations":[{"raw_affiliation_string":"SKLP, Institute of Computing Technology, CAS, Beijing, China","institution_ids":["https://openalex.org/I4210090176"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5095032730","display_name":"Chenghang Shi","orcid":"https://orcid.org/0009-0003-3055-8929"},"institutions":[{"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":"Chenghang Shi","raw_affiliation_strings":["SKLP, Institute of Computing Technology, CAS, Beijing, China","University of Chinese Academy of Sciences, Beijing, China","SKLP, Institute of Computing Technology, CAS, Beijing, China / University of Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0003-3055-8929","affiliations":[{"raw_affiliation_string":"SKLP, Institute of Computing Technology, CAS, Beijing, China","institution_ids":["https://openalex.org/I4210090176"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]},{"raw_affiliation_string":"SKLP, Institute of Computing Technology, CAS, Beijing, China / University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I4210165038"]}]},{"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/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, CAS, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-4162-0404","affiliations":[{"raw_affiliation_string":"SKLP, Institute of Computing Technology, CAS, Beijing, China","institution_ids":["https://openalex.org/I4210090176"]}]},{"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/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, CAS, Beijing, China","University of Chinese Academy of Sciences, Beijing, China","Zhongguancun Laboratory, Beijing, China","SKLP, Institute of Computing Technology, CAS, Beijing, China / University of Chinese Academy of Sciences, Beijing, China / Zhongguancun Laboratory, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-4476-0541","affiliations":[{"raw_affiliation_string":"SKLP, Institute of Computing Technology, CAS, Beijing, China","institution_ids":["https://openalex.org/I4210090176"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]},{"raw_affiliation_string":"Zhongguancun Laboratory, Beijing, China","institution_ids":[]},{"raw_affiliation_string":"SKLP, Institute of Computing Technology, CAS, Beijing, China / University of Chinese Academy of Sciences, Beijing, China / Zhongguancun Laboratory, Beijing, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I4210165038"]}]},{"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, Australia"],"raw_orcid":"https://orcid.org/0000-0003-0380-3506","affiliations":[{"raw_affiliation_string":"University of New South Wales, Sydney, Australia","institution_ids":["https://openalex.org/I31746571"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5055127933"],"corresponding_institution_ids":["https://openalex.org/I4210090176"],"apc_list":null,"apc_paid":null,"fwci":0.9403,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.74758518,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":"8","issue":"OOPSLA2","first_page":"2633","last_page":"2661"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9998999834060669,"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.9998999834060669,"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/T11424","display_name":"Security and Verification in Computing","score":0.9961000084877014,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/boosting","display_name":"Boosting (machine learning)","score":0.7049745917320251},{"id":"https://openalex.org/keywords/alias","display_name":"Alias","score":0.6730798482894897},{"id":"https://openalex.org/keywords/transformer","display_name":"Transformer","score":0.45137375593185425},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4192529320716858},{"id":"https://openalex.org/keywords/spurious-relationship","display_name":"Spurious relationship","score":0.41252461075782776},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.28924092650413513},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.24928104877471924},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.22532936930656433},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.161216139793396},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.1544569432735443},{"id":"https://openalex.org/keywords/voltage","display_name":"Voltage","score":0.07597565650939941}],"concepts":[{"id":"https://openalex.org/C46686674","wikidata":"https://www.wikidata.org/wiki/Q466303","display_name":"Boosting (machine learning)","level":2,"score":0.7049745917320251},{"id":"https://openalex.org/C46681722","wikidata":"https://www.wikidata.org/wiki/Q4725589","display_name":"Alias","level":2,"score":0.6730798482894897},{"id":"https://openalex.org/C66322947","wikidata":"https://www.wikidata.org/wiki/Q11658","display_name":"Transformer","level":3,"score":0.45137375593185425},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4192529320716858},{"id":"https://openalex.org/C97256817","wikidata":"https://www.wikidata.org/wiki/Q1462316","display_name":"Spurious relationship","level":2,"score":0.41252461075782776},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.28924092650413513},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.24928104877471924},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.22532936930656433},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.161216139793396},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.1544569432735443},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.07597565650939941}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3689804","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3689804","pdf_url":null,"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":null,"license_id":null,"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/3689804","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3689804","pdf_url":null,"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":null,"license_id":null,"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":[],"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/G638511043","display_name":null,"funder_award_id":"2024M753295","funder_id":"https://openalex.org/F4320321543","funder_display_name":"China Postdoctoral Science Foundation"},{"id":"https://openalex.org/G7655893818","display_name":null,"funder_award_id":"62402474, 62132020 and 62202452","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/F4320321543","display_name":"China Postdoctoral Science Foundation","ror":"https://ror.org/0426zh255"},{"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":71,"referenced_works":["https://openalex.org/W1517071433","https://openalex.org/W1531413366","https://openalex.org/W1541825597","https://openalex.org/W1604043045","https://openalex.org/W1614825945","https://openalex.org/W1846157972","https://openalex.org/W1966032455","https://openalex.org/W1976979256","https://openalex.org/W1988441831","https://openalex.org/W1997981086","https://openalex.org/W2017722158","https://openalex.org/W2027538101","https://openalex.org/W2029214188","https://openalex.org/W2030166143","https://openalex.org/W2036157748","https://openalex.org/W2050320220","https://openalex.org/W2080573945","https://openalex.org/W2088140535","https://openalex.org/W2093080079","https://openalex.org/W2104839588","https://openalex.org/W2105285801","https://openalex.org/W2106972913","https://openalex.org/W2112936713","https://openalex.org/W2113115074","https://openalex.org/W2119137801","https://openalex.org/W2134646643","https://openalex.org/W2135565307","https://openalex.org/W2149222015","https://openalex.org/W2160563691","https://openalex.org/W2166743230","https://openalex.org/W2247002685","https://openalex.org/W2295857493","https://openalex.org/W2542317943","https://openalex.org/W2553375745","https://openalex.org/W2761352457","https://openalex.org/W2777662281","https://openalex.org/W2794510434","https://openalex.org/W2796301966","https://openalex.org/W2884262171","https://openalex.org/W2900044545","https://openalex.org/W2930019028","https://openalex.org/W2980018082","https://openalex.org/W2997088857","https://openalex.org/W3000614974","https://openalex.org/W3003698748","https://openalex.org/W3009945260","https://openalex.org/W3013983845","https://openalex.org/W3102504333","https://openalex.org/W3138349232","https://openalex.org/W3161833674","https://openalex.org/W4206579112","https://openalex.org/W4225793633","https://openalex.org/W4237417046","https://openalex.org/W4239799938","https://openalex.org/W4240951837","https://openalex.org/W4243644740","https://openalex.org/W4245027182","https://openalex.org/W4246166885","https://openalex.org/W4288057736","https://openalex.org/W4293246009","https://openalex.org/W4307731800","https://openalex.org/W4307888163","https://openalex.org/W4379537148","https://openalex.org/W4384155604","https://openalex.org/W4384345681","https://openalex.org/W4387673899","https://openalex.org/W4388483262","https://openalex.org/W4388483689","https://openalex.org/W4392265980","https://openalex.org/W4401328672","https://openalex.org/W6902007872"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W3113091479","https://openalex.org/W2162899405","https://openalex.org/W4385605198","https://openalex.org/W941090075","https://openalex.org/W2044987316","https://openalex.org/W3134374554","https://openalex.org/W2237480245","https://openalex.org/W2151266859"],"abstract_inverted_index":{"The":[0,138],"IFDS":[1],"algorithm":[2],"is":[3,90,193],"pivotal":[4],"in":[5,35,42,94,111,124,197,211],"solving":[6],"field-sensitive":[7,51],"data-flow":[8,29,81],"problems.":[9],"However,":[10],"its":[11,39,134],"conventional":[12],"use":[13],"of":[14,24,28,57,80,101,127,184],"access":[15,58],"paths":[16,59],"for":[17,65,207],"field":[18],"sensitivity":[19],"leads":[20],"to":[21,150,174],"the":[22,55,78,87,99,112,125,212],"generation":[23,56],"a":[25,49,61,91,106,203],"large":[26],"number":[27,79],"facts.":[30],"This":[31,74,188],"causes":[32],"scalability":[33],"challenges":[34],"larger":[36],"programs,":[37],"limiting":[38],"practical":[40],"application":[41],"extensive":[43],"codebases.":[44],"In":[45],"response,":[46],"we":[47,104],"propose":[48],"new":[50],"technique":[52],"that":[53,191],"reinterprets":[54],"as":[60,70],"Context-Free":[62],"Language":[63],"(CFL)":[64],"field-sensitivity":[66],"and":[67,84],"formulates":[68],"it":[69,202],"an":[71,118],"IDE":[72],"problem.":[73],"approach":[75],"significantly":[76],"reduces":[77],"facts":[82],"generated":[83],"handled":[85],"during":[86],"analysis,":[88],"which":[89],"major":[92,129],"factor":[93],"performance":[95,189],"degradation.":[96],"To":[97],"demonstrate":[98],"effectiveness":[100],"this":[102],"approach,":[103],"developed":[105],"taint":[107,121],"analysis":[108,122,126],"tool,":[109,123],"IDEDroid,":[110],"IFDS/IDE":[113],"framework.":[114],"IDEDroid":[115,192],"outperforms":[116],"FlowDroid,":[117],"established":[119],"IFDS-based":[120],"24":[128],"Android":[130],"apps":[131],"while":[132],"improving":[133],"precision":[135,170],"(guaranteed":[136],"theoretically).":[137],"speed":[139],"improvement":[140],"ranges":[141],"from":[142],"<mml:math":[143,151,161,175],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[144,152,162,176],"display=\"inline\"":[145,153,163,177],"overflow=\"scroll\">":[146,154,164,178],"<mml:mn>2.1</mml:mn>":[147],"<mml:mo>\u00d7</mml:mo>":[148,156,166],"</mml:math>":[149,157,167,181],"<mml:mn>2,368.4</mml:mn>":[155],",":[158,168],"averaging":[159],"at":[160],"<mml:mn>222.0</mml:mn>":[165],"with":[169],"gains":[171],"reaching":[172],"up":[173],"<mml:mn>20.0</mml:mn>":[179],"<mml:mo>%</mml:mo>":[180],"(in":[182],"terms":[183],"false":[185],"positives":[186],"reduced).":[187],"indicates":[190],"substantially":[194],"more":[195],"effective":[196],"detecting":[198],"information-flow":[199],"leaks,":[200],"making":[201],"potentially":[204],"superior":[205],"tool":[206],"mobile":[208],"app":[209],"vetting":[210],"market.":[213]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}