{"id":"https://openalex.org/W4410772183","doi":"https://doi.org/10.1145/3727353.3727464","title":"Precision-guided Smart Contract Fuzzing by static Analyses","display_name":"Precision-guided Smart Contract Fuzzing by static Analyses","publication_year":2025,"publication_date":"2025-01-10","ids":{"openalex":"https://openalex.org/W4410772183","doi":"https://doi.org/10.1145/3727353.3727464"},"language":"en","primary_location":{"id":"doi:10.1145/3727353.3727464","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3727353.3727464","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3727353.3727464","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 2025 4th International Conference on Big Data, Information and Computer Network","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3727353.3727464","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5065347198","display_name":"T. Zhang","orcid":"https://orcid.org/0009-0006-0270-437X"},"institutions":[{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tianyi Zhang","raw_affiliation_strings":["School of Computer Science and Engineering (School of Cyber Security), University of Electronic Science and Technology of China (UESTC), Chengdu, Sichuan, China"],"raw_orcid":"https://orcid.org/0009-0006-0270-437X","affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering (School of Cyber Security), University of Electronic Science and Technology of China (UESTC), Chengdu, Sichuan, China","institution_ids":["https://openalex.org/I150229711"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026564599","display_name":"Qi Xia","orcid":"https://orcid.org/0000-0003-2245-2588"},"institutions":[{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qi Xia","raw_affiliation_strings":["School of Computer Science and Engineering (School of Cyber Security), University of Electronic Science and Technology of China (UESTC), Chengdu, Sichuan, China"],"raw_orcid":"https://orcid.org/0000-0003-2245-2588","affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering (School of Cyber Security), University of Electronic Science and Technology of China (UESTC), Chengdu, Sichuan, China","institution_ids":["https://openalex.org/I150229711"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003606386","display_name":"Jianbin Gao","orcid":"https://orcid.org/0000-0001-7014-6417"},"institutions":[{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianbin Gao","raw_affiliation_strings":["School of Computer Science and Engineering (School of Cyber Security), University of Electronic Science and Technology of China (UESTC), Chengdu, Sichuan, China"],"raw_orcid":"https://orcid.org/0000-0001-7014-6417","affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering (School of Cyber Security), University of Electronic Science and Technology of China (UESTC), Chengdu, Sichuan, China","institution_ids":["https://openalex.org/I150229711"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079721352","display_name":"Hu Xia","orcid":"https://orcid.org/0000-0001-9851-666X"},"institutions":[{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hu Xia","raw_affiliation_strings":["School of Computer Science and Engineering (School of Cyber Security), University of Electronic Science and Technology of China (UESTC), Chengdu, Sichuan, China"],"raw_orcid":"https://orcid.org/0000-0001-9851-666X","affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering (School of Cyber Security), University of Electronic Science and Technology of China (UESTC), Chengdu, Sichuan, China","institution_ids":["https://openalex.org/I150229711"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I150229711"],"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":"692","last_page":"697"},"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.9980000257492065,"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.9980000257492065,"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/fuzz-testing","display_name":"Fuzz testing","score":0.9716223478317261},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6760091781616211},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.25674372911453247},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.0706394612789154}],"concepts":[{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.9716223478317261},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6760091781616211},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.25674372911453247},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0706394612789154}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3727353.3727464","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3727353.3727464","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3727353.3727464","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 2025 4th International Conference on Big Data, Information and Computer Network","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3727353.3727464","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3727353.3727464","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3727353.3727464","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 2025 4th International Conference on Big Data, Information and Computer Network","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2186036128","display_name":null,"funder_award_id":"62272228","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G572481615","display_name":null,"funder_award_id":"U22B2029","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/F4320322297","display_name":"Jiangsu Development and Reform Commission","ror":"https://ror.org/02fzqav45"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4410772183.pdf","grobid_xml":"https://content.openalex.org/works/W4410772183.grobid-xml"},"referenced_works_count":10,"referenced_works":["https://openalex.org/W2794965318","https://openalex.org/W2804791132","https://openalex.org/W3159384007","https://openalex.org/W3207487452","https://openalex.org/W4384155618","https://openalex.org/W4390578272","https://openalex.org/W4391558518","https://openalex.org/W4391622010","https://openalex.org/W4400117505","https://openalex.org/W6853580321"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2511770387","https://openalex.org/W3120811337","https://openalex.org/W2766647240","https://openalex.org/W4385301282","https://openalex.org/W2990186179","https://openalex.org/W4210660460","https://openalex.org/W3203597304"],"abstract_inverted_index":{"Different":[0],"from":[1],"traditional":[2],"software,":[3],"smart":[4,46,108,126,145],"contracts":[5,127],"operate":[6],"on":[7,45,68,150],"a":[8,42,51],"world":[9],"state":[10],"and":[11,49,171],"are":[12],"driven":[13],"by":[14],"transactions.":[15],"Therefore,":[16],"classic":[17],"fuzzing":[18],"techniques":[19],"cannot":[20],"easily":[21],"find":[22],"the":[23,28,38,56,75,82,91,107,129,142,168],"critical":[24,60],"transaction":[25,69,99],"chains":[26,100],"in":[27,95,114,124],"above":[29],"process.":[30],"Specifically,":[31],"we":[32],"leverage":[33],"static":[34],"analysis":[35,67],"to":[36,54],"guide":[37],"fuzzing.":[39],"We":[40,62,110,135],"build":[41],"CFG":[43],"based":[44],"contract":[47,146],"bytecode":[48],"perform":[50],"symbolic":[52],"execution":[53],"calculate":[55],"constraint":[57],"conditions":[58],"of":[59,141,154],"paths.":[61],"also":[63,173],"do":[64],"data":[65,152],"flow":[66],"dependencies.":[70],"The":[71,88],"former":[72],"helps":[73],"optimize":[74],"fuzz":[76,92],"testing":[77,83,93],"seed":[78],"generation":[79],"so":[80],"that":[81,101,161],"space":[84],"can":[85,102,121],"be":[86],"reduced.":[87],"latter":[89],"assists":[90],"process":[94],"generating":[96],"more":[97,165],"targeted":[98],"trigger":[103],"deeper":[104],"vulnerabilities":[105,123],"within":[106],"contract.":[109],"implement":[111],"our":[112],"approach":[113],"an":[115],"efficient":[116],"open-source":[117],"fuzzer,":[118],"\"smartfuzz\",":[119],"which":[120],"discover":[122],"industrial":[125],"when":[128],"original":[130],"source":[131],"code":[132,178],"is":[133,163],"unavailable.":[134],"evaluate":[136],"smartfuzz":[137,162],"with":[138],"Oyente,":[139],"one":[140],"most":[143],"widely-used":[144],"vulnerability":[147],"detector":[148],"tools":[149,170],"two":[151],"sets":[153],"546":[155],"total":[156],"contracts.":[157],"Results":[158],"clearly":[159],"indicate":[160],"much":[164,175],"effective":[166],"than":[167],"state-of-the-art":[169],"it":[172],"performs":[174],"better":[176],"regarding":[177],"coverage.":[179]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}