{"id":"https://openalex.org/W3045708674","doi":"https://doi.org/10.48550/arxiv.2007.15510","title":"WANA: Symbolic Execution of Wasm Bytecode for Cross-Platform Smart Contract Vulnerability Detection","display_name":"WANA: Symbolic Execution of Wasm Bytecode for Cross-Platform Smart Contract Vulnerability Detection","publication_year":2020,"publication_date":"2020-07-30","ids":{"openalex":"https://openalex.org/W3045708674","doi":"https://doi.org/10.48550/arxiv.2007.15510","mag":"3045708674"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2007.15510","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2007.15510","pdf_url":"https://arxiv.org/pdf/2007.15510","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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"},"volume":null,"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2007.15510","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100391473","display_name":"Dong Wang","orcid":"https://orcid.org/0000-0002-4281-0955","observed_orcids":["https://orcid.org/0000-0002-4281-0955"]},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wang, Dong","raw_affiliation_strings":["School of Computer Science and Engineering Beihang University Beijing , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering Beihang University Beijing , China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Jiang, Bo","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiang, Bo","raw_affiliation_strings":["School of Computer Science and Engineering Beihang University Beijing , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering Beihang University Beijing , China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020936420","display_name":"W. K. Chan","orcid":"https://orcid.org/0000-0001-7726-6235","observed_orcids":["https://orcid.org/0000-0001-7726-6235"]},"institutions":[{"id":"https://openalex.org/I168719708","display_name":"City University of Hong Kong","ror":"https://ror.org/03q8dnn23","country_code":"HK","type":"education","lineage":["https://openalex.org/I168719708"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Chan, W. K.","raw_affiliation_strings":["Department of Computer Science City University of Hong Kong Hong Kong"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science City University of Hong Kong Hong Kong","institution_ids":["https://openalex.org/I168719708"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":11,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9380000233650208,"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.9380000233650208,"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.05820000171661377,"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.0006000000284984708,"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/smart-contract-vulnerability-detection","display_name":"smart contract vulnerability detection","score":0.9610000252723694},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"symbolic execution","score":0.871999979019165},{"id":"https://openalex.org/keywords/ethereum","display_name":"Ethereum","score":0.9739999771118164},{"id":"https://openalex.org/keywords/blockchain-security","display_name":"blockchain security","score":0.8159999847412109},{"id":"https://openalex.org/keywords/test-oracles","display_name":"test oracles","score":0.9229999780654907}],"concepts":[{"id":"https://openalex.org/C2779818221","wikidata":"https://www.wikidata.org/wiki/Q837330","display_name":"Bytecode","level":3,"score":0.9326779246330261},{"id":"https://openalex.org/C95713431","wikidata":"https://www.wikidata.org/wiki/Q631425","display_name":"Vulnerability (computing)","level":2,"score":0.7141555547714233},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7118363976478577},{"id":"https://openalex.org/C2779687700","wikidata":"https://www.wikidata.org/wiki/Q20514253","display_name":"Blockchain","level":2,"score":0.6610047817230225},{"id":"https://openalex.org/C2779950589","wikidata":"https://www.wikidata.org/wiki/Q7544035","display_name":"Smart contract","level":3,"score":0.6609312891960144},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5601701736450195},{"id":"https://openalex.org/C92400490","wikidata":"https://www.wikidata.org/wiki/Q174666","display_name":"Cross-platform","level":2,"score":0.4925309121608734},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.23947963118553162},{"id":"https://openalex.org/C25344961","wikidata":"https://www.wikidata.org/wiki/Q192726","display_name":"Virtual machine","level":2,"score":0.1337970495223999}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2007.15510","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2007.15510","pdf_url":"https://arxiv.org/pdf/2007.15510","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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"},{"id":"doi:10.48550/arxiv.2007.15510","doi":"https://doi.org/10.48550/arxiv.2007.15510","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2007.15510","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2007.15510","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2007.15510","pdf_url":"https://arxiv.org/pdf/2007.15510","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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"},"sustainable_development_goals":[],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G576345513","display_name":"Android\u5e94\u7528\u7684\u6a21\u7cca\u6d4b\u8bd5\u5173\u952e\u6280\u672f\u7814\u7a76","funder_award_id":"61772056","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":15,"referenced_works":["https://openalex.org/W2094382938","https://openalex.org/W2126094482","https://openalex.org/W2539190473","https://openalex.org/W2604844934","https://openalex.org/W2787648539","https://openalex.org/W2794965318","https://openalex.org/W2805052744","https://openalex.org/W2846896781","https://openalex.org/W2888928288","https://openalex.org/W2890728226","https://openalex.org/W2954151438","https://openalex.org/W2987160260","https://openalex.org/W3011692979","https://openalex.org/W3031032747","https://openalex.org/W3091620507"],"related_works":["https://openalex.org/W3092702943","https://openalex.org/W4297798448","https://openalex.org/W4391241361","https://openalex.org/W4388187043","https://openalex.org/W4285161539","https://openalex.org/W2982625131","https://openalex.org/W4320715980","https://openalex.org/W3122124622","https://openalex.org/W4376606592","https://openalex.org/W3092627261"],"abstract_inverted_index":{"Many":[0],"popular":[1],"blockchain":[2,31,48],"platforms":[3],"are":[4,36],"supporting":[5],"smart":[6,16,58,87,109],"contracts":[7,17,88,110],"for":[8],"building":[9],"decentralized":[10],"applications.":[11],"However,":[12],"the":[13,29,65,81],"vulnerabilities":[14,82,103],"within":[15],"have":[18],"led":[19],"to":[20,24,79],"serious":[21],"financial":[22],"loss":[23],"their":[25],"end":[26],"users.":[27],"For":[28],"EOSIO":[30,84,106],"platform,":[32],"effective":[33],"vulnerability":[34,41,60],"detectors":[35],"still":[37],"limited.":[38],"Furthermore,":[39,71],"existing":[40],"detection":[42,61],"tools":[43],"can":[44,100],"only":[45],"support":[46],"one":[47],"platform.":[49],"In":[50],"this":[51],"work,":[52],"we":[53],"present":[54],"WANA,":[55],"a":[56,74],"cross-platform":[57],"contract":[59],"tool":[62],"based":[63,89],"on":[64,90],"symbolic":[66],"execution":[67],"of":[68,76],"WebAssembly":[69,91],"bytecode.":[70],"WANA":[72,99],"proposes":[73],"set":[75],"test":[77],"oracles":[78],"detect":[80,102],"in":[83,104],"and":[85,107],"Ethereum":[86,108],"bytecode":[92],"analysis.":[93],"Our":[94],"experimental":[95],"analysis":[96],"shows":[97],"that":[98],"effectively":[101],"both":[105],"with":[111],"high":[112],"efficiency.":[113]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1}],"updated_date":"2026-09-30T09:27:27.532063","created_date":"2020-08-03T00:00:00"}