{"id":"https://openalex.org/W4400023201","doi":"https://doi.org/10.1145/3643738","title":"SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis","display_name":"SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis","publication_year":2024,"publication_date":"2024-07-12","ids":{"openalex":"https://openalex.org/W4400023201","doi":"https://doi.org/10.1145/3643738"},"language":"en","primary_location":{"id":"doi:10.1145/3643738","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3643738","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"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 Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3643738","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5067714027","display_name":"Zeqin Liao","orcid":"https://orcid.org/0000-0003-0306-7465"},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Zeqin Liao","raw_affiliation_strings":["Sun Yat-sen University, Zhuhai, China"],"affiliations":[{"raw_affiliation_string":"Sun Yat-sen University, Zhuhai, China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065097911","display_name":"Yuhong Nan","orcid":"https://orcid.org/0000-0001-9597-9888"},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuhong Nan","raw_affiliation_strings":["Sun Yat-sen University, Zhuhai, China"],"affiliations":[{"raw_affiliation_string":"Sun Yat-sen University, Zhuhai, China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058488138","display_name":"Henglong Liang","orcid":"https://orcid.org/0009-0008-9570-1067"},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Henglong Liang","raw_affiliation_strings":["Sun Yat-sen University, Guangzhou, China"],"affiliations":[{"raw_affiliation_string":"Sun Yat-sen University, Guangzhou, China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101264809","display_name":"Sicheng Hao","orcid":"https://orcid.org/0009-0009-5747-1093"},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Sicheng Hao","raw_affiliation_strings":["Sun Yat-sen University, Zhuhai, China"],"affiliations":[{"raw_affiliation_string":"Sun Yat-sen University, Zhuhai, China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071575216","display_name":"Juan Zhai","orcid":"https://orcid.org/0000-0001-5017-8016"},"institutions":[{"id":"https://openalex.org/I177605424","display_name":"Amherst College","ror":"https://ror.org/028vqfs63","country_code":"US","type":"education","lineage":["https://openalex.org/I177605424"]},{"id":"https://openalex.org/I24603500","display_name":"University of Massachusetts Amherst","ror":"https://ror.org/0072zz521","country_code":"US","type":"education","lineage":["https://openalex.org/I24603500"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Juan Zhai","raw_affiliation_strings":["University of Massachusetts, Amherst, Amherst, USA"],"affiliations":[{"raw_affiliation_string":"University of Massachusetts, Amherst, Amherst, USA","institution_ids":["https://openalex.org/I177605424","https://openalex.org/I24603500"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031531093","display_name":"Jiajing Wu","orcid":"https://orcid.org/0000-0001-5155-8547"},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiajing Wu","raw_affiliation_strings":["Sun Yat-sen University, Zhuhai, China"],"affiliations":[{"raw_affiliation_string":"Sun Yat-sen University, Zhuhai, China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000582109","display_name":"Zibin Zheng","orcid":"https://orcid.org/0000-0002-7878-4330"},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]},{"id":"https://openalex.org/I4210165204","display_name":"Zhuhai Institute of Advanced Technology","ror":"https://ror.org/05r1mzq61","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210145761","https://openalex.org/I4210165204"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zibin Zheng","raw_affiliation_strings":["GuangDong Engineering Technology Research Center of Blockchain, Zhuhai, China","Sun Yat-sen University, Zhuhai, China","Sun Yat-sen University, Zhuhai, China / GuangDong Engineering Technology Research Center of Blockchain, Zhuhai, China"],"affiliations":[{"raw_affiliation_string":"GuangDong Engineering Technology Research Center of Blockchain, Zhuhai, China","institution_ids":["https://openalex.org/I4210165204"]},{"raw_affiliation_string":"Sun Yat-sen University, Zhuhai, China","institution_ids":["https://openalex.org/I157773358"]},{"raw_affiliation_string":"Sun Yat-sen University, Zhuhai, China / GuangDong Engineering Technology Research Center of Blockchain, Zhuhai, China","institution_ids":["https://openalex.org/I157773358"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5067714027"],"corresponding_institution_ids":["https://openalex.org/I157773358"],"apc_list":null,"apc_paid":null,"fwci":12.9784,"has_fulltext":true,"cited_by_count":17,"citation_normalized_percentile":{"value":0.98645031,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":100},"biblio":{"volume":"1","issue":"FSE","first_page":"249","last_page":"270"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9997000098228455,"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/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9997000098228455,"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/T10883","display_name":"Ethics and Social Impacts of AI","score":0.9520999789237976,"subfield":{"id":"https://openalex.org/subfields/3311","display_name":"Safety Research"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12519","display_name":"Cybercrime and Law Enforcement Studies","score":0.9002000093460083,"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/bridge","display_name":"Bridge (graph theory)","score":0.5835586786270142},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5194172859191895},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.44138118624687195},{"id":"https://openalex.org/keywords/chain","display_name":"Chain (unit)","score":0.4296693801879883},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.07001510262489319},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.06224334239959717},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.05693456530570984}],"concepts":[{"id":"https://openalex.org/C100776233","wikidata":"https://www.wikidata.org/wiki/Q2532492","display_name":"Bridge (graph theory)","level":2,"score":0.5835586786270142},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5194172859191895},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.44138118624687195},{"id":"https://openalex.org/C199185054","wikidata":"https://www.wikidata.org/wiki/Q552299","display_name":"Chain (unit)","level":2,"score":0.4296693801879883},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.07001510262489319},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.06224334239959717},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.05693456530570984},{"id":"https://openalex.org/C126322002","wikidata":"https://www.wikidata.org/wiki/Q11180","display_name":"Internal medicine","level":1,"score":0.0},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3643738","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3643738","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"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 Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2406.15999","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2406.15999","pdf_url":"https://arxiv.org/pdf/2406.15999","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"doi:10.1145/3643738","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3643738","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"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 Software Engineering","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1121271761","display_name":null,"funder_award_id":"Program","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1378608539","display_name":null,"funder_award_id":"62032025","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1830849682","display_name":null,"funder_award_id":"30500","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2087396116","display_name":null,"funder_award_id":"China","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3317480652","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G391238517","display_name":null,"funder_award_id":", and","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5881942141","display_name":null,"funder_award_id":"202103","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5939423041","display_name":null,"funder_award_id":"Technology","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5994120800","display_name":null,"funder_award_id":"Natural","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"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W2539190473","https://openalex.org/W2573570214","https://openalex.org/W2789555918","https://openalex.org/W2790202156","https://openalex.org/W2805052744","https://openalex.org/W2846896781","https://openalex.org/W2970809537","https://openalex.org/W2995871203","https://openalex.org/W3034136313","https://openalex.org/W3043576244","https://openalex.org/W3091620507","https://openalex.org/W3098450669","https://openalex.org/W3105187050","https://openalex.org/W3122543528","https://openalex.org/W4205689130","https://openalex.org/W4213052788","https://openalex.org/W4285490412","https://openalex.org/W4285490421","https://openalex.org/W4285490458","https://openalex.org/W4288057718","https://openalex.org/W4308632258","https://openalex.org/W4308641862","https://openalex.org/W4313563932","https://openalex.org/W4383749387","https://openalex.org/W4384009646","https://openalex.org/W4384154486","https://openalex.org/W4384155618","https://openalex.org/W4384302865","https://openalex.org/W4385255219","https://openalex.org/W4388843369"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W1501776718","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2615136228","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"With":[0],"the":[1,11,20,43,114,118,149],"increasing":[2],"popularity":[3],"of":[4,32,46,58,117,152,197,213,223,257],"blockchain,":[5],"different":[6,39],"blockchain":[7,40],"platforms":[8],"coexist":[9],"in":[10,50,69,84,132,160],"ecosystem":[12],"(e.g.,":[13],"Ethereum,":[14],"BNB,":[15],"EOSIO,":[16],"etc.),":[17],"which":[18,178],"prompts":[19],"high":[21],"demand":[22],"for":[23,35,103],"cross-chain":[24,47,111,133,170,185,202,242],"communication.":[25,187],"Cross-chain":[26],"bridge":[27,70,134,203,243],"is":[28,49,93],"a":[29,56,126,195,211,221,254],"specific":[30],"type":[31],"decentralized":[33],"application":[34],"asset":[36,105],"exchange":[37],"across":[38],"platforms.":[41],"Securing":[42],"smart":[44,71,85,135,161,248],"contracts":[45,86,162],"bridges":[48],"urgent":[51],"need,":[52],"as":[53,73],"there":[54],"are":[55],"number":[57],"recent":[59],"security":[60,158],"incidents":[61],"with":[62],"heavy":[63],"financial":[64],"losses":[65],"caused":[66],"by":[67],"vulnerabilities":[68,131],"contracts,":[72],"we":[74,123,191],"call":[75],"them":[76],"Cross-Chain":[77],"Vulnerabilities":[78],"(CCVs).":[79],"However,":[80],"automatically":[81],"identifying":[82],"CCVs":[83,199,238,252],"poses":[87],"several":[88],"unique":[89],"challenges.":[90],"Particularly,":[91,137],"it":[92],"non-trivial":[94],"to":[95,129,138,180],"(1)":[96],"identify":[97,109,130],"application-specific":[98],"access":[99,144,153],"control":[100,145,154],"constraints":[101],"needed":[102],"cross-bridge":[104],"exchange,":[106],"and":[107,155,174,193,220],"(2)":[108],"inconsistent":[110],"semantics":[112],"between":[113],"two":[115],"sides":[116],"bridge.":[119],"In":[120,231],"this":[121],"paper,":[122],"propose":[124],"SmartAxe,":[125,190],"new":[127],"framework":[128],"contracts.":[136,204],"locate":[139],"vulnerable":[140],"functions":[141],"that":[142,208],"have":[143],"incompleteness,":[146],"SmartAxe":[147,168,209,233],"models":[148],"heterogeneous":[150],"implementations":[151],"finds":[156],"necessary":[157],"checks":[159],"through":[163],"probabilistic":[164],"pattern":[165],"inference.":[166],"Besides,":[167],"constructs":[169],"control-flow":[171],"graph":[172,176],"(xCFG)":[173],"data-flow":[175],"(xDFG),":[177],"help":[179],"find":[181],"semantic":[182],"inconsistency":[183],"during":[184],"data":[186],"To":[188],"evaluate":[189],"collect":[192],"label":[194],"dataset":[196],"88":[198],"from":[200,239,246],"real-attacks":[201],"Evaluation":[205],"results":[206],"show":[207],"achieves":[210],"precision":[212],"<mml:math":[214,224],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[215,225],"display=\"inline\">":[216,226],"<mml:mn>84.95</mml:mn>":[217],"<mml:mo>%</mml:mo>":[218,228],"</mml:math>":[219,229],"recall":[222],"<mml:mn>89.77</mml:mn>":[227],".":[230],"addition,":[232],"successfully":[234],"identifies":[235],"232":[236],"new/unknown":[237],"129":[240],"real-world":[241],"applications":[244],"(i.e.,":[245],"1,703":[247],"contracts).":[249],"These":[250],"identified":[251],"affect":[253],"total":[255],"amount":[256],"digital":[258],"assets":[259],"worth":[260],"1,885,250":[261],"USD.":[262]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":13},{"year":2024,"cited_by_count":2}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2024-06-26T00:00:00"}