{"id":"https://openalex.org/W4402502675","doi":"https://doi.org/10.48550/arxiv.2408.10116","title":"Vulseye: Detect Smart Contract Vulnerabilities via Stateful Directed\n Graybox Fuzzing","display_name":"Vulseye: Detect Smart Contract Vulnerabilities via Stateful Directed\n Graybox Fuzzing","publication_year":2024,"publication_date":"2024-08-19","ids":{"openalex":"https://openalex.org/W4402502675","doi":"https://doi.org/10.48550/arxiv.2408.10116"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2408.10116","pdf_url":"http://arxiv.org/pdf/2408.10116","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":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"type":"preprint","type_crossref":"posted-content","indexed_in":["arxiv"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://arxiv.org/pdf/2408.10116","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103272632","display_name":"Ruichao Liang","orcid":"https://orcid.org/0009-0003-0709-6420"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liang, Ruichao","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100394917","display_name":"Jing Chen","orcid":"https://orcid.org/0000-0002-7212-5297"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chen, Jing","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101623391","display_name":"Cong Wu","orcid":"https://orcid.org/0000-0002-0930-0283"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wu, Cong","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004999865","display_name":"Kun He","orcid":"https://orcid.org/0000-0003-3472-419X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"He, Kun","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056381213","display_name":"Yueming Wu","orcid":"https://orcid.org/0000-0002-1515-3558"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wu, Yueming","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107179549","display_name":"Ruochen Cao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cao, Ruochen","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100529319","display_name":"Ruiying Du","orcid":"https://orcid.org/0000-0002-3634-3385"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Du, Ruiying","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100355952","display_name":"Yang Liu","orcid":"https://orcid.org/0000-0002-6388-9674"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liu, Yang","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5073603754","display_name":"Ziming Zhao","orcid":"https://orcid.org/0000-0002-4930-5556"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhao, Ziming","raw_affiliation_strings":[],"affiliations":[]}],"institution_assertions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":0,"max":83},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11652","display_name":"Imbalanced Data Classification Techniques","score":0.9504,"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"}},"topics":[{"id":"https://openalex.org/T11652","display_name":"Imbalanced Data Classification Techniques","score":0.9504,"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"}},{"id":"https://openalex.org/T13643","display_name":"Artificial Intelligence in Law","score":0.9191,"subfield":{"id":"https://openalex.org/subfields/3320","display_name":"Political Science and International Relations"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12519","display_name":"Cybercrime and Law Enforcement Studies","score":0.9048,"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.94338185}],"concepts":[{"id":"https://openalex.org/C22927095","wikidata":"https://www.wikidata.org/wiki/Q1784206","display_name":"Stateful firewall","level":3,"score":0.95615315},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.94338185},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.44209144},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.42515463},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.32810336},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2176891},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.05083853},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2408.10116","pdf_url":"http://arxiv.org/pdf/2408.10116","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":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2408.10116","pdf_url":"http://arxiv.org/pdf/2408.10116","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":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4401907763","https://openalex.org/W4401906987","https://openalex.org/W4391375266","https://openalex.org/W4387191767","https://openalex.org/W4287833485","https://openalex.org/W2748952813","https://openalex.org/W2736754676","https://openalex.org/W2591875911","https://openalex.org/W2511770387","https://openalex.org/W2129975948"],"abstract_inverted_index":{"Smart":[0],"contracts,":[1],"the":[2,13,65,74,106,171,209,222,231],"cornerstone":[3],"of":[4,41,91,108,174,224,233],"decentralized":[5,32],"applications,":[6],"have":[7],"become":[8],"increasingly":[9],"prominent":[10],"in":[11,18,31,43,101],"revolutionizing":[12],"digital":[14],"landscape.":[15],"However,":[16],"vulnerabilities":[17],"smart":[19,36,51,102,130],"contracts":[20,52,131],"pose":[21],"great":[22],"risks":[23],"to":[24,71,88,148,158,183,194],"user":[25],"assets":[26],"and":[27,56,110,151,164,180,187,213,226,240,254],"undermine":[28],"overall":[29],"trust":[30],"systems.":[33],"But":[34],"current":[35],"contract":[37,66,75,103,152,210],"fuzzers":[38],"fall":[39],"short":[40],"expectations":[42],"testing":[44,92,146,172,234],"efficiency":[45],"for":[46,82,129],"two":[47],"primary":[48],"reasons.":[49],"Firstly,":[50],"are":[53,155],"stateful":[54,125,141,243],"programs,":[55],"existing":[57],"approaches,":[58],"primarily":[59],"coverage-guided,":[60],"lack":[61],"effective":[62,242],"feedback":[63,206],"from":[64,136,207],"state.":[67],"Consequently,":[68],"they":[69],"struggle":[70],"effectively":[72],"explore":[73],"state":[76,111,214,227],"space.":[77],"Secondly,":[78],"coverage-guided":[79],"fuzzers,":[80,249],"aiming":[81],"comprehensive":[83,115],"program":[84],"coverage,":[85],"may":[86],"lead":[87],"a":[89,124,189,200],"wastage":[90,99,232],"resources":[93,147,235],"on":[94,236],"benign":[95,237],"code":[96,109,149,211,225,238],"areas.":[97],"This":[98],"worsens":[100],"testing,":[104],"as":[105,170],"mix":[107],"spaces":[112],"further":[113],"complicates":[114],"testing.":[116],"To":[117],"address":[118],"these":[119,219],"challenges,":[120],"we":[121],"propose":[122,188],"Vulseye,":[123],"directed":[126,142],"graybox":[127],"fuzzer":[128],"guided":[132],"by":[133,144],"vulnerabilities.":[134,159],"Different":[135],"prior":[137],"works,":[138],"Vulseye":[139,229,250],"achieves":[140,241],"fuzzing":[143,168,217],"prioritizing":[145],"areas":[150,239],"states":[153],"that":[154,204],"more":[156],"prone":[157],"We":[160,176,198],"introduce":[161],"Code":[162,185],"Targets":[163,166],"State":[165,196],"into":[167],"loops":[169],"targets":[173],"Vulseye.":[175],"use":[177],"static":[178],"analysis":[179,192],"pattern":[181],"matching":[182],"pinpoint":[184],"Targets,":[186],"scalable":[190],"backward":[191],"algorithm":[193],"specify":[195],"Targets.":[197],"design":[199],"novel":[201],"fitness":[202],"metric":[203],"leverages":[205],"both":[208],"space":[212],"space,":[215],"directing":[216],"toward":[218],"targets.":[220],"With":[221],"guidance":[223],"targets,":[228],"alleviates":[230],"fuzzing.":[244],"In":[245],"comparison":[246],"with":[247],"state-of-the-art":[248],"demonstrated":[251],"superior":[252],"effectiveness":[253],"efficiency.":[255]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4402502675","counts_by_year":[],"updated_date":"2025-01-08T21:25:52.533550","created_date":"2024-09-13"}