{"id":"https://openalex.org/W4408934902","doi":"https://doi.org/10.1109/tse.2025.3555622","title":"NumScout: Unveiling Numerical Defects in Smart Contracts Using LLM-Pruning Symbolic Execution","display_name":"NumScout: Unveiling Numerical Defects in Smart Contracts Using LLM-Pruning Symbolic Execution","publication_year":2025,"publication_date":"2025-03-29","ids":{"openalex":"https://openalex.org/W4408934902","doi":"https://doi.org/10.1109/tse.2025.3555622"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2025.3555622","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2025.3555622","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086118824","display_name":"Jiachi Chen","orcid":"https://orcid.org/0000-0002-0192-9992"},"institutions":[{"id":"https://openalex.org/I163151501","display_name":"Hangzhou Normal University","ror":"https://ror.org/014v1mr15","country_code":"CN","type":"education","lineage":["https://openalex.org/I163151501"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiachi Chen","raw_affiliation_strings":["Intelligent Transportation and Information Security Laboratory, Hangzhou Normal University, Hangzhou, China"],"raw_orcid":"https://orcid.org/0000-0002-0192-9992","affiliations":[{"raw_affiliation_string":"Intelligent Transportation and Information Security Laboratory, Hangzhou Normal University, Hangzhou, China","institution_ids":["https://openalex.org/I163151501"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Zhenzhe Shao","orcid":"https://orcid.org/0009-0009-2993-7482"},"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":"Zhenzhe Shao","raw_affiliation_strings":["School of Software Engineering, Sun Yat-sen University, Zhuhai, China"],"raw_orcid":"https://orcid.org/0009-0009-2993-7482","affiliations":[{"raw_affiliation_string":"School of Software Engineering, Sun Yat-sen University, Zhuhai, China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Shuo Yang","orcid":"https://orcid.org/0009-0004-4919-3138"},"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":"Shuo Yang","raw_affiliation_strings":["School of Software Engineering, Sun Yat-sen University, Zhuhai, China"],"raw_orcid":"https://orcid.org/0009-0004-4919-3138","affiliations":[{"raw_affiliation_string":"School of Software Engineering, Sun Yat-sen University, Zhuhai, China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113997133","display_name":"Yiming Shen","orcid":null},"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":"Yiming Shen","raw_affiliation_strings":["School of Software Engineering, Sun Yat-sen University, Zhuhai, China"],"raw_orcid":"https://orcid.org/0009-0003-9466-6427","affiliations":[{"raw_affiliation_string":"School of Software Engineering, Sun Yat-sen University, Zhuhai, China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100350708","display_name":"Yanlin Wang","orcid":"https://orcid.org/0000-0001-7761-7269"},"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":"Yanlin Wang","raw_affiliation_strings":["School of Software Engineering, Sun Yat-sen University, Zhuhai, China"],"raw_orcid":"https://orcid.org/0000-0001-7761-7269","affiliations":[{"raw_affiliation_string":"School of Software Engineering, Sun Yat-sen University, Zhuhai, China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100443178","display_name":"Ting Chen","orcid":"https://orcid.org/0000-0001-9165-8331"},"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":"Ting Chen","raw_affiliation_strings":["School of Computer Science and Engineering, School of Cyber Security, University of Electronic Science and Technology of China, Chengdu, China","School of Computer Science and Engineering(School of Cyber Security), University of Electronic Science and Technology of China, Chengdu, China"],"raw_orcid":"https://orcid.org/0000-0001-9165-8331","affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, School of Cyber Security, University of Electronic Science and Technology of China, Chengdu, China","institution_ids":["https://openalex.org/I150229711"]},{"raw_affiliation_string":"School of Computer Science and Engineering(School of Cyber Security), University of Electronic Science and Technology of China, Chengdu, China","institution_ids":["https://openalex.org/I150229711"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Zhenyu Shan","orcid":"https://orcid.org/0009-0007-0619-1820"},"institutions":[{"id":"https://openalex.org/I163151501","display_name":"Hangzhou Normal University","ror":"https://ror.org/014v1mr15","country_code":"CN","type":"education","lineage":["https://openalex.org/I163151501"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhenyu Shan","raw_affiliation_strings":["Intelligent Transportation and Information Security Laboratory, Hangzhou Normal University, Hangzhou, China"],"raw_orcid":"https://orcid.org/0009-0007-0619-1820","affiliations":[{"raw_affiliation_string":"Intelligent Transportation and Information Security Laboratory, Hangzhou Normal University, Hangzhou, China","institution_ids":["https://openalex.org/I163151501"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012731436","display_name":"Zibin Zheng","orcid":"https://orcid.org/0000-0001-7872-7718"},"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":"Zibin Zheng","raw_affiliation_strings":["School of Software Engineering, Sun Yat-sen University, Zhuhai, China"],"raw_orcid":"https://orcid.org/0000-0001-7872-7718","affiliations":[{"raw_affiliation_string":"School of Software Engineering, Sun Yat-sen University, Zhuhai, China","institution_ids":["https://openalex.org/I157773358"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":8,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":16.5711,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.98630074,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":"51","issue":"5","first_page":"1538","last_page":"1553"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11762","display_name":"Law, Economics, and Judicial Systems","score":0.859499990940094,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11762","display_name":"Law, Economics, and Judicial Systems","score":0.859499990940094,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11182","display_name":"Auction Theory and Applications","score":0.853600025177002,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.8338000178337097,"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/computer-science","display_name":"Computer science","score":0.8741512894630432},{"id":"https://openalex.org/keywords/pruning","display_name":"Pruning","score":0.8138899207115173},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.7972044944763184},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4702431261539459},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4336739182472229},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3569996953010559},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.12395203113555908}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8741512894630432},{"id":"https://openalex.org/C108010975","wikidata":"https://www.wikidata.org/wiki/Q500094","display_name":"Pruning","level":2,"score":0.8138899207115173},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.7972044944763184},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4702431261539459},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4336739182472229},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3569996953010559},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.12395203113555908},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tse.2025.3555622","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2025.3555622","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2795951424","display_name":null,"funder_award_id":"62332004","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W2076164405","https://openalex.org/W2539190473","https://openalex.org/W2604844934","https://openalex.org/W2754529701","https://openalex.org/W2790202156","https://openalex.org/W2805052744","https://openalex.org/W2846896781","https://openalex.org/W2897450989","https://openalex.org/W2908007588","https://openalex.org/W2963610883","https://openalex.org/W2970809537","https://openalex.org/W3007045600","https://openalex.org/W3034136313","https://openalex.org/W3043576244","https://openalex.org/W3083471387","https://openalex.org/W3091620507","https://openalex.org/W3091755869","https://openalex.org/W3170487895","https://openalex.org/W3213182664","https://openalex.org/W4205689130","https://openalex.org/W4241491750","https://openalex.org/W4384154512","https://openalex.org/W4391136507","https://openalex.org/W4393307116","https://openalex.org/W4394745153","https://openalex.org/W4394745423","https://openalex.org/W4394769342","https://openalex.org/W4396773582","https://openalex.org/W4400484323","https://openalex.org/W4402442227","https://openalex.org/W4404060141","https://openalex.org/W4404534210","https://openalex.org/W4405796591","https://openalex.org/W4406308708","https://openalex.org/W6739901393","https://openalex.org/W6780620222","https://openalex.org/W6795453372","https://openalex.org/W6838461927","https://openalex.org/W6838865847","https://openalex.org/W6851775633","https://openalex.org/W6855355790","https://openalex.org/W6863289935","https://openalex.org/W6873055161","https://openalex.org/W6873341794"],"related_works":["https://openalex.org/W2905722102","https://openalex.org/W2155539595","https://openalex.org/W2752815423","https://openalex.org/W4306251929","https://openalex.org/W2373300491","https://openalex.org/W345638404","https://openalex.org/W2801797726","https://openalex.org/W4295529944","https://openalex.org/W4239107164","https://openalex.org/W2912813468"],"abstract_inverted_index":{"In":[0,81],"recent":[1],"years,":[2],"the":[3,93,101,137,191,226,230],"Ethereum":[4],"platform":[5],"has":[6],"witnessed":[7],"a":[8,66,112,126,169],"proliferation":[9],"of":[10,68,78,89,95,225,236],"smart":[11,23],"contracts,":[12],"accompanied":[13],"by":[14,36,99,198],"exponential":[15],"growth":[16],"in":[17,31],"total":[18],"value":[19],"locked":[20],"(TVL).":[21],"High-TVL":[22],"contracts":[24,206,220],"often":[25],"require":[26],"complex":[27],"numerical":[28,45,57,79,90,181],"computations,":[29],"particularly":[30],"mathematical":[32],"financial":[33],"models":[34],"used":[35],"many":[37],"decentralized":[38],"applications":[39],"(DApps).":[40],"Improper":[41],"calculations":[42],"can":[43],"introduce":[44],"defects,":[46,228],"posing":[47],"potential":[48,120],"security":[49],"risks.":[50],"Existing":[51],"research":[52,70],"primarily":[53],"focuses":[54],"on":[55,162,203,212],"traditional":[56],"defects":[58,91,157],"like":[59],"integer":[60],"overflow,":[61],"and":[62,71,109,119,144,152,158,194,207,229],"there":[63],"is":[64,107],"currently":[65],"lack":[67],"systematic":[69],"effective":[72],"detection":[73,164],"methods":[74],"targeting":[75],"new":[76,87],"types":[77,88],"defects.":[80,135],"this":[82],"paper,":[83],"we":[84],"identify":[85],"five":[86,134,227],"through":[92],"analysis":[94],"1,199":[96],"audit":[97],"reports":[98],"utilizing":[100],"open":[102],"card":[103],"method.":[104],"Each":[105],"defect":[106],"defined":[108],"illustrated":[110],"with":[111],"code":[113,143],"example":[114],"to":[115,131,154,174,180,188],"highlight":[116],"its":[117,209],"features":[118],"consequences.":[121],"We":[122,200,216],"also":[123],"propose":[124],"NumScout,":[125],"symbolic":[127,186],"execution-based":[128],"tool":[129,138,231],"designed":[130],"detect":[132],"these":[133],"Specifically,":[136],"combines":[139],"information":[140],"from":[141],"source":[142],"bytecode,":[145],"analyzing":[146],"key":[147],"operations":[148],"such":[149],"as":[150],"comparisons":[151],"transfers,":[153],"effectively":[155],"locate":[156],"report":[159],"them":[160],"based":[161,211],"predefined":[163],"patterns.":[165],"Furthermore,":[166],"NumScout":[167,202],"uses":[168],"large":[170],"language":[171],"model":[172],"(LLM)":[173],"prune":[175],"functions":[176],"which":[177],"are":[178],"unrelated":[179],"operations.":[182],"This":[183],"step":[184],"allows":[185],"execution":[187],"quickly":[189],"enter":[190],"target":[192],"function":[193],"improve":[195],"runtime":[196],"speed":[197],"28.4%.":[199],"run":[201],"6,617":[204],"real-world":[205],"evaluated":[208],"performance":[210],"manually":[213],"labeled":[214],"results.":[215],"find":[217],"that":[218],"1,774":[219],"contained":[221],"at":[222],"least":[223],"one":[224],"achieved":[232],"an":[233],"overall":[234],"precision":[235],"89.7%.":[237]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":4}],"updated_date":"2026-06-12T08:23:45.883708","created_date":"2025-10-10T00:00:00"}