{"id":"https://openalex.org/W7148584287","doi":"https://doi.org/10.48550/arxiv.2604.00657","title":"LibScan: Smart Contract Library Misuse Detection with Iterative Feedback and Static Verification","display_name":"LibScan: Smart Contract Library Misuse Detection with Iterative Feedback and Static Verification","publication_year":2026,"publication_date":"2026-04-01","ids":{"openalex":"https://openalex.org/W7148584287","doi":"https://doi.org/10.48550/arxiv.2604.00657"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.00657","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.00657","pdf_url":null,"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":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.00657","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5132828884","display_name":"Yishun Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Wang, Yishun","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5132819932","display_name":"Wenkai Li","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Wenkai","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5132801841","display_name":"Xiaoqi Li","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Xiaoqi","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5132801009","display_name":"Zongwei Li","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Zongwei","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5132816141","display_name":"Lei Xie","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xie, Lei","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5132805432","display_name":"Yuqing Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Yuqing","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5132828884"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"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.9473000168800354,"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.9473000168800354,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.005400000140070915,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.003100000089034438,"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/margin","display_name":"Margin (machine learning)","score":0.6905999779701233},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.6049000024795532},{"id":"https://openalex.org/keywords/knowledge-base","display_name":"Knowledge base","score":0.44620001316070557},{"id":"https://openalex.org/keywords/smart-contract","display_name":"Smart contract","score":0.38499999046325684},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.3400000035762787},{"id":"https://openalex.org/keywords/empirical-research","display_name":"Empirical research","score":0.3246000111103058},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.3122999966144562},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.302700012922287}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7889999747276306},{"id":"https://openalex.org/C774472","wikidata":"https://www.wikidata.org/wiki/Q6760393","display_name":"Margin (machine learning)","level":2,"score":0.6905999779701233},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.6049000024795532},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.44620001316070557},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4359999895095825},{"id":"https://openalex.org/C2779950589","wikidata":"https://www.wikidata.org/wiki/Q7544035","display_name":"Smart contract","level":3,"score":0.38499999046325684},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.36410000920295715},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3418000042438507},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.3400000035762787},{"id":"https://openalex.org/C120936955","wikidata":"https://www.wikidata.org/wiki/Q2155640","display_name":"Empirical research","level":2,"score":0.3246000111103058},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3206000030040741},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.31310001015663147},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.3122999966144562},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.302700012922287},{"id":"https://openalex.org/C56666940","wikidata":"https://www.wikidata.org/wiki/Q788790","display_name":"Documentation","level":2,"score":0.2996000051498413},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.29760000109672546},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.296999990940094},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.29339998960494995},{"id":"https://openalex.org/C147346212","wikidata":"https://www.wikidata.org/wiki/Q5492632","display_name":"Trusted computing base","level":4,"score":0.28790000081062317},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.28279998898506165},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.2809000015258789},{"id":"https://openalex.org/C115925183","wikidata":"https://www.wikidata.org/wiki/Q1412694","display_name":"Knowledge-based systems","level":2,"score":0.26080000400543213},{"id":"https://openalex.org/C89611455","wikidata":"https://www.wikidata.org/wiki/Q6804646","display_name":"Mechanism (biology)","level":2,"score":0.25780001282691956},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.2500999867916107}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.00657","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.00657","pdf_url":null,"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.00657","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.00657","pdf_url":null,"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":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[{"score":0.468303918838501,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Smart":[0],"contracts":[1,137],"are":[2,36],"self-executing":[3],"programs":[4],"that":[5,35,77,110,139,163],"manage":[6],"financial":[7,43],"transactions":[8],"on":[9,15,133],"blockchain":[10],"networks.":[11],"Developers":[12],"commonly":[13],"rely":[14],"third-party":[16],"code":[17,67,87],"libraries":[18,30],"to":[19,38,41,49],"improve":[20,100],"both":[21,165],"efficiency":[22],"and":[23],"security.":[24],"However,":[25],"improper":[26],"use":[27],"of":[28,93,127,146,154],"these":[29],"can":[31],"introduce":[32],"hidden":[33],"vulnerabilities":[34],"difficult":[37],"detect,":[39],"leading":[40],"significant":[42],"losses.":[44],"Existing":[45],"automated":[46,74],"tools":[47,150],"struggle":[48],"identify":[50],"such":[51],"misuse":[52,95,129],"because":[53],"it":[54],"often":[55],"requires":[56],"understanding":[57],"the":[58,103],"developer's":[59],"intent":[60],"rather":[61],"than":[62,172],"simply":[63],"scanning":[64],"for":[65],"known":[66],"patterns.":[68],"This":[69],"paper":[70],"presents":[71],"LibScan,":[72],"an":[73,106,142],"detection":[75,101,144],"framework":[76,104],"combines":[78],"large":[79],"language":[80],"model":[81],"(LLM)-based":[82],"semantic":[83],"reasoning":[84],"with":[85],"rule-based":[86],"analysis,":[88],"identifying":[89],"eight":[90],"distinct":[91],"categories":[92],"library":[94],"in":[96],"smart":[97,136],"contracts.":[98],"To":[99],"reliability,":[102],"incorporates":[105],"iterative":[107],"self-correction":[108],"mechanism":[109],"refines":[111],"its":[112],"analysis":[113,166],"across":[114],"multiple":[115],"rounds,":[116],"alongside":[117],"a":[118,152],"structured":[119],"knowledge":[120],"base":[121],"derived":[122],"from":[123],"large-scale":[124],"empirical":[125],"studies":[126],"real-world":[128,135],"cases.":[130],"Experiments":[131],"conducted":[132],"662":[134],"demonstrate":[138],"LibScan":[140],"achieves":[141],"overall":[143],"accuracy":[145],"85.15\\%,":[147],"outperforming":[148],"existing":[149],"by":[151],"margin":[153],"over":[155],"16":[156],"percentage":[157],"points.":[158],"Ablation":[159],"experiments":[160],"further":[161],"confirm":[162],"combining":[164],"approaches":[167],"yields":[168],"substantially":[169],"better":[170],"results":[171],"either":[173],"method":[174],"used":[175],"independently.":[176]},"counts_by_year":[],"updated_date":"2026-04-03T16:44:17.987007","created_date":"2026-04-03T00:00:00"}