{"id":"https://openalex.org/W7131098156","doi":"https://doi.org/10.1109/tifs.2026.3666859","title":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework With LLM-Guided Seed Generation","display_name":"LLAMA: Multi-Feedback Smart Contract Fuzzing Framework With LLM-Guided Seed Generation","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7131098156","doi":"https://doi.org/10.1109/tifs.2026.3666859"},"language":"en","primary_location":{"id":"doi:10.1109/tifs.2026.3666859","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tifs.2026.3666859","pdf_url":null,"source":{"id":"https://openalex.org/S61310614","display_name":"IEEE Transactions on Information Forensics and Security","issn_l":"1556-6013","issn":["1556-6013","1556-6021"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["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 Information Forensics and Security","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/A5126614167","display_name":"Keke Gai","orcid":null},"institutions":[{"id":"https://openalex.org/I125839683","display_name":"Beijing Institute of Technology","ror":"https://ror.org/01skt4w74","country_code":"CN","type":"education","lineage":["https://openalex.org/I125839683","https://openalex.org/I890469752"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Keke Gai","raw_affiliation_strings":["School of Cyberspace Science and Technology and the School of Artificial Intelligence, Beijing Institute of Technology, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-6784-0221","affiliations":[{"raw_affiliation_string":"School of Cyberspace Science and Technology and the School of Artificial Intelligence, Beijing Institute of Technology, Beijing, China","institution_ids":["https://openalex.org/I125839683"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5126650194","display_name":"Haochen Liang","orcid":null},"institutions":[{"id":"https://openalex.org/I125839683","display_name":"Beijing Institute of Technology","ror":"https://ror.org/01skt4w74","country_code":"CN","type":"education","lineage":["https://openalex.org/I125839683","https://openalex.org/I890469752"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haochen Liang","raw_affiliation_strings":["School of Cyberspace Science and Technology, Beijing Institute of Technology, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0006-6211-8591","affiliations":[{"raw_affiliation_string":"School of Cyberspace Science and Technology, Beijing Institute of Technology, Beijing, China","institution_ids":["https://openalex.org/I125839683"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Jing Yu","orcid":"https://orcid.org/0000-0002-3966-511X"},"institutions":[{"id":"https://openalex.org/I145897649","display_name":"Minzu University of China","ror":"https://ror.org/0044e2g62","country_code":"CN","type":"education","lineage":["https://openalex.org/I145897649"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jing Yu","raw_affiliation_strings":["Key Laboratory of Ethnic Language Intelligent Analysis and Security Governance of MOE and the School of Information Engineering, Minzu University of China, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-3966-511X","affiliations":[{"raw_affiliation_string":"Key Laboratory of Ethnic Language Intelligent Analysis and Security Governance of MOE and the School of Information Engineering, Minzu University of China, Beijing, China","institution_ids":["https://openalex.org/I145897649"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5126613432","display_name":"Liehuang Zhu","orcid":null},"institutions":[{"id":"https://openalex.org/I125839683","display_name":"Beijing Institute of Technology","ror":"https://ror.org/01skt4w74","country_code":"CN","type":"education","lineage":["https://openalex.org/I125839683","https://openalex.org/I890469752"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liehuang Zhu","raw_affiliation_strings":["School of Cyberspace Science and Technology, Beijing Institute of Technology, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0003-3277-3887","affiliations":[{"raw_affiliation_string":"School of Cyberspace Science and Technology, Beijing Institute of Technology, Beijing, China","institution_ids":["https://openalex.org/I125839683"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5126609409","display_name":"Dusit Niyato","orcid":null},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Dusit Niyato","raw_affiliation_strings":["College of Computing and Data Science, Nanyang Technological University, Jurong West, Singapore"],"raw_orcid":"https://orcid.org/0000-0002-7442-7416","affiliations":[{"raw_affiliation_string":"College of Computing and Data Science, Nanyang Technological University, Jurong West, Singapore","institution_ids":["https://openalex.org/I172675005"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.17173692,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"21","issue":null,"first_page":"3281","last_page":"3296"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12384","display_name":"Customer churn and segmentation","score":0.055799998342990875,"subfield":{"id":"https://openalex.org/subfields/1406","display_name":"Marketing"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T12384","display_name":"Customer churn and segmentation","score":0.055799998342990875,"subfield":{"id":"https://openalex.org/subfields/1406","display_name":"Marketing"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11653","display_name":"Financial Distress and Bankruptcy Prediction","score":0.04320000112056732,"subfield":{"id":"https://openalex.org/subfields/1402","display_name":"Accounting"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T13972","display_name":"Business Law and Ethics","score":0.03739999979734421,"subfield":{"id":"https://openalex.org/subfields/1402","display_name":"Accounting"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.9817000031471252},{"id":"https://openalex.org/keywords/vulnerability","display_name":"Vulnerability (computing)","score":0.5325000286102295},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.49900001287460327},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.43290001153945923},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.4180000126361847},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.4004000127315521},{"id":"https://openalex.org/keywords/smart-contract","display_name":"Smart contract","score":0.3874000012874603},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.3847000002861023}],"concepts":[{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.9817000031471252},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8878999948501587},{"id":"https://openalex.org/C95713431","wikidata":"https://www.wikidata.org/wiki/Q631425","display_name":"Vulnerability (computing)","level":2,"score":0.5325000286102295},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.49900001287460327},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.43290001153945923},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4214000105857849},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4180000126361847},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.4004000127315521},{"id":"https://openalex.org/C2779950589","wikidata":"https://www.wikidata.org/wiki/Q7544035","display_name":"Smart contract","level":3,"score":0.3874000012874603},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.3847000002861023},{"id":"https://openalex.org/C105902424","wikidata":"https://www.wikidata.org/wiki/Q1197129","display_name":"Evolutionary computation","level":2,"score":0.36169999837875366},{"id":"https://openalex.org/C159149176","wikidata":"https://www.wikidata.org/wiki/Q14489129","display_name":"Evolutionary algorithm","level":2,"score":0.35690000653266907},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.34540000557899475},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.33320000767707825},{"id":"https://openalex.org/C110332635","wikidata":"https://www.wikidata.org/wiki/Q629498","display_name":"Genetic programming","level":2,"score":0.3057999908924103},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.29829999804496765},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.28029999136924744},{"id":"https://openalex.org/C501734568","wikidata":"https://www.wikidata.org/wiki/Q42918","display_name":"Mutation","level":3,"score":0.2750999927520752},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.27219998836517334},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.27160000801086426},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.2685999870300293},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.2639000117778778},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.2549999952316284},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.25}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tifs.2026.3666859","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tifs.2026.3666859","pdf_url":null,"source":{"id":"https://openalex.org/S61310614","display_name":"IEEE Transactions on Information Forensics and Security","issn_l":"1556-6013","issn":["1556-6013","1556-6021"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["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 Information Forensics and Security","raw_type":"journal-article"},{"id":"pmh:oai:dr.ntu.edu.sg:10356/212265","is_oa":false,"landing_page_url":"https://hdl.handle.net/10356/212265","pdf_url":null,"source":{"id":"https://openalex.org/S4306402609","display_name":"DR-NTU (Nanyang Technological University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I172675005","host_organization_name":"Nanyang Technological University","host_organization_lineage":["https://openalex.org/I172675005"],"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":"Journal Article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.4002957046031952,"display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G2673068193","display_name":null,"funder_award_id":"U24B20146","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4256095726","display_name":null,"funder_award_id":"20250484921","funder_id":"https://openalex.org/F4320334978","funder_display_name":"Beijing Nova Program"},{"id":"https://openalex.org/G8436614429","display_name":null,"funder_award_id":"62372044","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G922434764","display_name":null,"funder_award_id":"62232002","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/F4320334978","display_name":"Beijing Nova Program","ror":"https://ror.org/034k14f91"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":51,"referenced_works":["https://openalex.org/W2539190473","https://openalex.org/W2790202156","https://openalex.org/W2805052744","https://openalex.org/W2806377938","https://openalex.org/W2846896781","https://openalex.org/W2908007588","https://openalex.org/W2963610883","https://openalex.org/W2970809537","https://openalex.org/W2985495886","https://openalex.org/W2995871203","https://openalex.org/W2997640974","https://openalex.org/W2999378142","https://openalex.org/W3015325345","https://openalex.org/W3035733952","https://openalex.org/W3043576244","https://openalex.org/W3083471387","https://openalex.org/W3098450669","https://openalex.org/W3114658934","https://openalex.org/W3116484444","https://openalex.org/W3121385022","https://openalex.org/W3128660473","https://openalex.org/W3152617045","https://openalex.org/W3163844163","https://openalex.org/W3197731240","https://openalex.org/W3204160722","https://openalex.org/W3214421193","https://openalex.org/W3215134427","https://openalex.org/W4205689130","https://openalex.org/W4210660460","https://openalex.org/W4225827138","https://openalex.org/W4283646945","https://openalex.org/W4285060547","https://openalex.org/W4307205415","https://openalex.org/W4312495723","https://openalex.org/W4313563646","https://openalex.org/W4316661173","https://openalex.org/W4362663576","https://openalex.org/W4384155618","https://openalex.org/W4384304865","https://openalex.org/W4391579303","https://openalex.org/W4391724785","https://openalex.org/W4394745749","https://openalex.org/W4394769544","https://openalex.org/W4399996537","https://openalex.org/W4400850128","https://openalex.org/W4400909786","https://openalex.org/W4401040247","https://openalex.org/W4405938844","https://openalex.org/W4407097963","https://openalex.org/W4408029979","https://openalex.org/W4415540429"],"related_works":[],"abstract_inverted_index":{"Smart":[0,60],"contracts":[1,181],"play":[2],"a":[3,12,52,73,90,102,116,137],"pivotal":[4],"role":[5],"in":[6,31,167,224],"blockchain":[7],"ecosystems,":[8],"and":[9,33,43,96,112,149,170,182,206,222],"fuzzing":[10,130,135],"remains":[11],"critical":[13],"approach":[14],"to":[15,80,153],"securing":[16],"them.":[17],"However,":[18],"existing":[19],"smart":[20,226],"contract":[21,227],"fuzzers":[22,166],"often":[23],"optimize":[24],"either":[25],"seed":[26,110],"generation":[27],"or":[28],"mutation":[29,113],"scheduling":[30,114],"isolation":[32],"rely":[34],"on":[35,179,184,213],"narrow,":[36],"fragmented":[37],"feedback":[38],"signals,":[39],"leaving":[40],"multi-transaction":[41,85],"reasoning":[42],"stagnation":[44],"recovery":[45,139,208],"under-explored.":[46],"In":[47],"this":[48],"work,":[49],"we":[50],"propose":[51],"<italic":[53],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[54],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">Large":[55],"Language":[56],"Models</i>":[57],"(LLMs)-based":[58],"Multi-feedback":[59],"Contract":[61],"Fuzzing":[62],"framework":[63],"(LLAMA).":[64],"Key":[65],"components":[66],"of":[67,118,191],"the":[68,203],"proposed":[69,204],"LLAMA":[70,163],"include:":[71],"(i)":[72],"hierarchical":[74],"prompting":[75],"strategy":[76],"that":[77,94,107,132,162,202],"guides":[78],"LLMs":[79],"generate":[81],"structurally":[82],"valid,":[83],"context-aware":[84],"initial":[86],"seeds,":[87],"together":[88],"with":[89,136],"lightweight":[91],"pre-fuzzing":[92],"phase":[93],"validates":[95],"prioritizes":[97],"high-potential":[98],"LLM-generated":[99],"candidates;":[100],"(ii)":[101],"multi-feedback-guided":[103],"evolutionary":[104,134],"optimization":[105],"module":[106,131],"jointly":[108],"optimizes":[109],"selection":[111],"by":[115],"group":[117],"constraints":[119],"for":[120],"driving":[121],"an":[122,127],"LLM-bootstrapped":[123],"bandit":[124],"scheduler.":[125],"(iii)":[126],"LLM-guided":[128],"hybrid":[129,207],"integrates":[133],"dual-channel":[138],"mechanism,":[140],"which":[141],"concurrently":[142],"employs":[143],"asynchronous":[144],"coverage-stagnation-":[145],"based":[146],"LLM":[147],"reseeding":[148],"selective":[150],"symbolic":[151],"execution":[152],"resolve":[154],"complex":[155,225],"path":[156],"constraints.":[157],"Our":[158],"extensive":[159],"experiments":[160],"demonstrate":[161],"outperforms":[164],"state-of-the-art":[165],"both":[168],"coverage":[169,178],"vulnerability":[171],"detection.":[172],"Specifically,":[173],"it":[174],"achieves":[175],"92%":[176],"instruction":[177],"small":[180],"81%":[183],"large":[185],"contracts,":[186],"while":[187],"detecting":[188],"132":[189],"out":[190],"148":[192],"known":[193],"vulnerabilities":[194],"across":[195],"diverse":[196],"categories.":[197],"Ablation":[198],"studies":[199],"further":[200],"evidence":[201],"multi-feedback":[205],"strategies":[209],"have":[210],"strong":[211],"impact":[212],"LLAMA\u2019s":[214,219],"performance.":[215],"The":[216],"results":[217],"explain":[218],"effectiveness,":[220],"adaptability,":[221],"practicality":[223],"scenarios.":[228]},"counts_by_year":[],"updated_date":"2026-04-02T13:48:15.688549","created_date":"2026-02-24T00:00:00"}