{"id":"https://openalex.org/W7149325811","doi":"https://doi.org/10.1145/3803437.3805225","title":"YASA: Scalable Multi-Language Taint Analysis on the Unified AST at Ant Group","display_name":"YASA: Scalable Multi-Language Taint Analysis on the Unified AST at Ant Group","publication_year":2026,"publication_date":"2026-07-05","ids":{"openalex":"https://openalex.org/W7149325811","doi":"https://doi.org/10.1145/3803437.3805225"},"language":null,"primary_location":{"id":"doi:10.1145/3803437.3805225","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3803437.3805225","pdf_url":null,"source":null,"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 34th ACM International Conference on the Foundations of Software Engineering","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3803437.3805225","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5124036447","display_name":"Yayi Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yayi Wang","raw_affiliation_strings":["Ant Group, Hangzhou, China"],"raw_orcid":"https://orcid.org/0009-0000-8880-1061","affiliations":[{"raw_affiliation_string":"Ant Group, Hangzhou, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5132952925","display_name":"Shenao Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I47720641","display_name":"Huazhong University of Science and Technology","ror":"https://ror.org/00p991c53","country_code":"CN","type":"education","lineage":["https://openalex.org/I47720641"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shenao Wang","raw_affiliation_strings":["Huazhong University of Science and Technology, Wuhan, China"],"raw_orcid":"https://orcid.org/0000-0003-3818-3343","affiliations":[{"raw_affiliation_string":"Huazhong University of Science and Technology, Wuhan, China","institution_ids":["https://openalex.org/I47720641"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5132942558","display_name":"Jian Zhao","orcid":null},"institutions":[{"id":"https://openalex.org/I47720641","display_name":"Huazhong University of Science and Technology","ror":"https://ror.org/00p991c53","country_code":"CN","type":"education","lineage":["https://openalex.org/I47720641"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jian Zhao","raw_affiliation_strings":["Huazhong University of Science and Technology, Wuhan, China"],"raw_orcid":"https://orcid.org/0009-0003-5716-1462","affiliations":[{"raw_affiliation_string":"Huazhong University of Science and Technology, Wuhan, China","institution_ids":["https://openalex.org/I47720641"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5132945882","display_name":"Shaosen Shi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shaosen Shi","raw_affiliation_strings":["Ant Group, Hangzhou, China"],"raw_orcid":"https://orcid.org/0009-0002-8031-8811","affiliations":[{"raw_affiliation_string":"Ant Group, Hangzhou, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5132949789","display_name":"Ting S. Li","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ting Li","raw_affiliation_strings":["Ant Group, Hangzhou, China"],"raw_orcid":"https://orcid.org/0009-0000-4166-2455","affiliations":[{"raw_affiliation_string":"Ant Group, Hangzhou, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5132956157","display_name":"Yan Cheng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yan Cheng","raw_affiliation_strings":["Ant Group, Hangzhou, China"],"raw_orcid":"https://orcid.org/0009-0006-1025-5965","affiliations":[{"raw_affiliation_string":"Ant Group, Hangzhou, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5132951730","display_name":"Lizhong Bian","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lizhong Bian","raw_affiliation_strings":["Ant Group, Hangzhou, China"],"raw_orcid":"https://orcid.org/0009-0006-0563-0409","affiliations":[{"raw_affiliation_string":"Ant Group, Hangzhou, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5124040965","display_name":"Kan Yu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kan Yu","raw_affiliation_strings":["Ant Group, Hangzhou, China"],"raw_orcid":"https://orcid.org/0009-0001-2554-7681","affiliations":[{"raw_affiliation_string":"Ant Group, Hangzhou, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5132956422","display_name":"Yanjie Zhao","orcid":null},"institutions":[{"id":"https://openalex.org/I47720641","display_name":"Huazhong University of Science and Technology","ror":"https://ror.org/00p991c53","country_code":"CN","type":"education","lineage":["https://openalex.org/I47720641"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yanjie Zhao","raw_affiliation_strings":["Huazhong University of Science and Technology, Wuhan, China"],"raw_orcid":"https://orcid.org/0000-0001-8793-5367","affiliations":[{"raw_affiliation_string":"Huazhong University of Science and Technology, Wuhan, China","institution_ids":["https://openalex.org/I47720641"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5132943688","display_name":"Haoyu Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I47720641","display_name":"Huazhong University of Science and Technology","ror":"https://ror.org/00p991c53","country_code":"CN","type":"education","lineage":["https://openalex.org/I47720641"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haoyu Wang","raw_affiliation_strings":["Huazhong University of Science and Technology, Wuhan, China"],"raw_orcid":"https://orcid.org/0000-0003-1100-8633","affiliations":[{"raw_affiliation_string":"Huazhong University of Science and Technology, Wuhan, China","institution_ids":["https://openalex.org/I47720641"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"524","last_page":"535"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12479","display_name":"Web Application Security Vulnerabilities","score":0.6638000011444092,"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"}},"topics":[{"id":"https://openalex.org/T12479","display_name":"Web Application Security Vulnerabilities","score":0.6638000011444092,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.11159999668598175,"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.04800000041723251,"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/scalability","display_name":"Scalability","score":0.5537999868392944},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5234000086784363},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.5123000144958496},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.3716999888420105},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.3653999865055084},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.3644999861717224},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.3352999985218048}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.782800018787384},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5537999868392944},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5404999852180481},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5234000086784363},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.5123000144958496},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4530999958515167},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.3716999888420105},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.3653999865055084},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.3644999861717224},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.36239999532699585},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.3352999985218048},{"id":"https://openalex.org/C63116202","wikidata":"https://www.wikidata.org/wiki/Q7676227","display_name":"Taint checking","level":3,"score":0.3321000039577484},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.3303000032901764},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3075999915599823},{"id":"https://openalex.org/C2778648169","wikidata":"https://www.wikidata.org/wiki/Q967768","display_name":"Compatibility (geochemistry)","level":2,"score":0.30559998750686646},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.30090001225471497},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.29820001125335693},{"id":"https://openalex.org/C58646249","wikidata":"https://www.wikidata.org/wiki/Q127380","display_name":"Abstract syntax tree","level":3,"score":0.2939000129699707},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2639000117778778},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.2612000107765198},{"id":"https://openalex.org/C110332635","wikidata":"https://www.wikidata.org/wiki/Q629498","display_name":"Genetic programming","level":2,"score":0.26100000739097595},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.2506999969482422}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3803437.3805225","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3803437.3805225","pdf_url":null,"source":null,"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 34th ACM International Conference on the Foundations of Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2601.17390","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2601.17390","pdf_url":"https://arxiv.org/pdf/2601.17390","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"doi:10.1145/3803437.3805225","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3803437.3805225","pdf_url":null,"source":null,"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 34th ACM International Conference on the Foundations of Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.5079125761985779,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320318398","display_name":"Ant Group","ror":null},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Modern":[0],"enterprises":[1],"increasingly":[2],"adopt":[3],"diverse":[4,116],"technology":[5],"stacks":[6],"with":[7,36,200,213],"various":[8],"programming":[9,117],"languages,":[10,29],"posing":[11],"significant":[12],"challenges":[13],"for":[14,27,70,96,113,225],"static":[15,91,158],"application":[16],"security":[17],"testing":[18],"(SAST).":[19],"Existing":[20],"taint":[21,92,128,198],"analysis":[22,59,93,126],"tools":[23,41],"are":[24],"predominantly":[25],"designed":[26,95],"single":[28],"requiring":[30],"substantial":[31],"engineering":[32],"effort":[33],"that":[34,108],"scales":[35],"language":[37,148],"diversity.":[38],"While":[39],"multi-language":[40,90,157],"like":[42],"CodeQL,":[43],"Joern,":[44],"and":[45,61,127,155,173],"WALA":[46],"attempt":[47],"to":[48,67,135,144,152],"address":[49],"these":[50],"challenges,":[51],"they":[52],"face":[53],"limitations":[54],"in":[55],"intermediate":[56],"representation":[57],"design,":[58],"precision,":[60],"extensibility,":[62],"which":[63],"make":[64],"them":[65,203],"difficult":[66],"scale":[68],"effectively":[69],"large-scale":[71,227],"industrial":[72,228],"applications":[73],"at":[74],"Ant":[75,179],"Group.":[76],"To":[77],"bridge":[78],"this":[79],"gap,":[80],"we":[81],"present":[82],"YASA":[83,100,123,164,181],"(Yet":[84],"Another":[85],"Static":[86],"Analyzer),":[87],"a":[88,110,131],"unified":[89,111,132],"framework":[94],"industrial-scale":[97],"deployment.":[98],"Specifically,":[99],"introduces":[101],"the":[102,121],"Unified":[103],"Abstract":[104],"Syntax":[105],"Tree":[106],"(UAST)":[107],"provides":[109],"abstraction":[112],"compatibility":[114],"across":[115,169,189],"languages.":[118],"Building":[119],"on":[120,160],"UAST,":[122],"performs":[124],"point-to":[125],"propagation,":[129],"leveraging":[130],"semantic":[133,142],"model":[134],"manage":[136],"language-agnostic":[137],"constructs,":[138],"while":[139],"incorporating":[140],"language-specific":[141],"models":[143],"handle":[145],"other":[146],"unique":[147],"features.":[149],"When":[150],"compared":[151],"6":[153],"single-":[154],"2":[156],"analyzers":[159],"an":[161],"industry-standard":[162],"benchmark,":[163],"consistently":[165],"outperformed":[166],"all":[167],"baselines":[168],"Java,":[170],"JavaScript,":[171],"Python,":[172],"Go.":[174],"In":[175],"real-world":[176],"deployment":[177],"within":[178],"Group,":[180],"analyzed":[182],"over":[183],"100":[184],"million":[185],"lines":[186],"of":[187,202],"code":[188],"7.3K":[190],"internal":[191,218],"applications.":[192],"It":[193],"identified":[194],"314":[195],"previously":[196],"unknown":[197],"paths,":[199],"92":[201],"confirmed":[204],"as":[205],"0-day":[206],"vulnerabilities.":[207],"All":[208],"vulnerabilities":[209],"were":[210],"responsibly":[211],"reported,":[212],"76":[214],"already":[215],"patched":[216],"by":[217],"development":[219],"teams,":[220],"demonstrating":[221],"YASA's":[222],"practical":[223],"effectiveness":[224],"securing":[226],"software":[229],"systems.":[230]},"counts_by_year":[],"updated_date":"2026-07-18T05:58:53.570196","created_date":"2026-04-05T00:00:00"}