{"id":"https://openalex.org/W4224131832","doi":"https://doi.org/10.1145/3511900","title":"V-Gas: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability","display_name":"V-Gas: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability","publication_year":2022,"publication_date":"2022-04-18","ids":{"openalex":"https://openalex.org/W4224131832","doi":"https://doi.org/10.1145/3511900"},"language":"en","primary_location":{"id":"doi:10.1145/3511900","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3511900","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3511900","source":{"id":"https://openalex.org/S97833917","display_name":"ACM Transactions on Internet Technology","issn_l":"1533-5399","issn":["1533-5399","1557-6051"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Internet Technology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3511900","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002804998","display_name":"Fuchen Ma","orcid":"https://orcid.org/0000-0002-1360-9814"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fuchen Ma","raw_affiliation_strings":["Tsinghua University"],"raw_orcid":"https://orcid.org/0000-0002-1360-9814","affiliations":[{"raw_affiliation_string":"Tsinghua University","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080293351","display_name":"Meng Ren","orcid":"https://orcid.org/0000-0003-2639-3941"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Meng Ren","raw_affiliation_strings":["Tsinghua University"],"raw_orcid":"https://orcid.org/0000-0003-2639-3941","affiliations":[{"raw_affiliation_string":"Tsinghua University","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100738023","display_name":"Ying Fu","orcid":"https://orcid.org/0000-0001-5329-2586"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fu Ying","raw_affiliation_strings":["Tsinghua University"],"raw_orcid":"https://orcid.org/0000-0001-5329-2586","affiliations":[{"raw_affiliation_string":"Tsinghua University","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073938492","display_name":"Wanting Sun","orcid":null},"institutions":[{"id":"https://openalex.org/I98301712","display_name":"Baidu (China)","ror":"https://ror.org/03vs3wt56","country_code":"CN","type":"company","lineage":["https://openalex.org/I98301712"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wanting Sun","raw_affiliation_strings":["Baidu Online Network Technology Co. Ltd"],"raw_orcid":"https://orcid.org/0000-0001-9107-183X","affiliations":[{"raw_affiliation_string":"Baidu Online Network Technology Co. Ltd","institution_ids":["https://openalex.org/I98301712"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079301418","display_name":"Houbing Song","orcid":"https://orcid.org/0000-0003-2631-9223"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Houbing Song","raw_affiliation_strings":["Embry-Riddle Aeronautical University"],"raw_orcid":"https://orcid.org/0000-0003-2631-9223","affiliations":[{"raw_affiliation_string":"Embry-Riddle Aeronautical University","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079764771","display_name":"Heyuan Shi","orcid":"https://orcid.org/0000-0002-9040-7247"},"institutions":[{"id":"https://openalex.org/I139660479","display_name":"Central South University","ror":"https://ror.org/00f1zfq44","country_code":"CN","type":"education","lineage":["https://openalex.org/I139660479"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Heyuan Shi","raw_affiliation_strings":["Central South University"],"raw_orcid":"https://orcid.org/0000-0002-9040-7247","affiliations":[{"raw_affiliation_string":"Central South University","institution_ids":["https://openalex.org/I139660479"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060117799","display_name":"Yu Jiang","orcid":"https://orcid.org/0000-0003-0955-503X"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yu Jiang","raw_affiliation_strings":["Tsinghua University"],"raw_orcid":"https://orcid.org/0000-0003-0955-503X","affiliations":[{"raw_affiliation_string":"Tsinghua University","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074617280","display_name":"Huizhong Li","orcid":"https://orcid.org/0000-0002-6034-7992"},"institutions":[{"id":"https://openalex.org/I4210145740","display_name":"West Bengal Electronics Industry Development Corporation Limited (India)","ror":"https://ror.org/03y350s17","country_code":"IN","type":"company","lineage":["https://openalex.org/I4210145740"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Huizhong Li","raw_affiliation_strings":["WeBank"],"raw_orcid":"https://orcid.org/0000-0002-6034-7992","affiliations":[{"raw_affiliation_string":"WeBank","institution_ids":["https://openalex.org/I4210145740"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.9682,"has_fulltext":true,"cited_by_count":16,"citation_normalized_percentile":{"value":0.87924323,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"23","issue":"3","first_page":"1","last_page":"22"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9987999796867371,"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/T11424","display_name":"Security and Verification in Computing","score":0.9987999796867371,"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/T10400","display_name":"Network Security and Intrusion Detection","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9977999925613403,"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/gas-consumption","display_name":"Gas consumption","score":0.7576853036880493},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7265351414680481},{"id":"https://openalex.org/keywords/gas-engine","display_name":"Gas engine","score":0.6618044376373291},{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.4279751777648926},{"id":"https://openalex.org/keywords/process-engineering","display_name":"Process engineering","score":0.25154048204421997},{"id":"https://openalex.org/keywords/automotive-engineering","display_name":"Automotive engineering","score":0.1891942322254181},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1642458140850067},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.10450363159179688}],"concepts":[{"id":"https://openalex.org/C2992367939","wikidata":"https://www.wikidata.org/wiki/Q4121144","display_name":"Gas consumption","level":2,"score":0.7576853036880493},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7265351414680481},{"id":"https://openalex.org/C2780611706","wikidata":"https://www.wikidata.org/wiki/Q114704","display_name":"Gas engine","level":2,"score":0.6618044376373291},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.4279751777648926},{"id":"https://openalex.org/C21880701","wikidata":"https://www.wikidata.org/wiki/Q2144042","display_name":"Process engineering","level":1,"score":0.25154048204421997},{"id":"https://openalex.org/C171146098","wikidata":"https://www.wikidata.org/wiki/Q124192","display_name":"Automotive engineering","level":1,"score":0.1891942322254181},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1642458140850067},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.10450363159179688},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3511900","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3511900","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3511900","source":{"id":"https://openalex.org/S97833917","display_name":"ACM Transactions on Internet Technology","issn_l":"1533-5399","issn":["1533-5399","1557-6051"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Internet Technology","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3511900","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3511900","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3511900","source":{"id":"https://openalex.org/S97833917","display_name":"ACM Transactions on Internet Technology","issn_l":"1533-5399","issn":["1533-5399","1557-6051"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Internet Technology","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2498637758","display_name":null,"funder_award_id":"62022046, 92167101, U1911401, 62021002, 61802223","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3167315294","display_name":null,"funder_award_id":"U1911401","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4456633529","display_name":null,"funder_award_id":"92167101","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5216889655","display_name":null,"funder_award_id":"62022046","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7091651887","display_name":null,"funder_award_id":"62021002","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7483945918","display_name":null,"funder_award_id":"62022046, No.92167101, U1911401, 62021002, 61802223","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7520802981","display_name":null,"funder_award_id":"61802223","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":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4224131832.pdf","grobid_xml":"https://content.openalex.org/works/W4224131832.grobid-xml"},"referenced_works_count":21,"referenced_works":["https://openalex.org/W1526715104","https://openalex.org/W2144589927","https://openalex.org/W2752340395","https://openalex.org/W2788841915","https://openalex.org/W2808820334","https://openalex.org/W2810405994","https://openalex.org/W2846896781","https://openalex.org/W2865298191","https://openalex.org/W2889740224","https://openalex.org/W2898569715","https://openalex.org/W2899189777","https://openalex.org/W2922265937","https://openalex.org/W2923898603","https://openalex.org/W2963220038","https://openalex.org/W3031032747","https://openalex.org/W3104720502","https://openalex.org/W3106010854","https://openalex.org/W3126854539","https://openalex.org/W4289548059","https://openalex.org/W6752594875","https://openalex.org/W6779236108"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2511770387","https://openalex.org/W4320150350","https://openalex.org/W2278554861","https://openalex.org/W4224131832","https://openalex.org/W2392517572","https://openalex.org/W95206041","https://openalex.org/W2465630505"],"abstract_inverted_index":{"Out-of-gas":[0],"errors":[1,155],"occur":[2],"when":[3,50],"smart":[4,40,97,253],"contract":[5,52],"programs":[6],"are":[7],"provided":[8],"with":[9,212,234],"inputs":[10,64],"that":[11,65,113,165,213,219],"cause":[12],"excessive":[13],"gas":[14,34,68,89,102,116,169,178,226],"consumption":[15,103,170],"and":[16,70,80,106,135,208],"which":[17,61,257],"will":[18],"be":[19],"easily":[20],"exploited":[21],"to":[22,31,42,109,191],"perform":[23],"Denial-of-Service":[24],"attacks.":[25],"Various":[26],"approaches":[27],"have":[28,153,258],"been":[29,259],"proposed":[30],"estimate":[32],"the":[33,51,67,88,111,115,150,158,166,177,188,195,222,232,265],"limit":[35,179],"of":[36,94,147,149,197,214,231,256],"a":[37,126],"function":[38],"in":[39,96,133,200,250,264],"contracts":[41],"avoid":[43],"such":[44],"error.":[45],"However,":[46],"underestimation":[47,189],"often":[48],"occurs":[49],"is":[53,74,174],"complex":[54],"In":[55,183],"this":[56],"work,":[57],"we":[58,120,202],"propose":[59],"V-Gas,":[60,201],"automatically":[62],"generates":[63,221],"maximize":[66,114],"cost":[69],"reduce":[71,187],"underestimation.":[72],"V-Gas":[73,86,100,122,185,220,242],"designed":[75],"based":[76,123,156],"on":[77,124,138,143,157,229],"static":[78],"analysis":[79],"feedback-directed":[81,198],"mutational":[82],"fuzz":[83],"testing.":[84],"First,":[85],"builds":[87],"weighted":[90],"control":[91],"flow":[92],"graph":[93],"functions":[95],"contracts.":[98],"Then,":[99],"develops":[101],"guided":[104],"selection":[105],"mutation":[107],"strategies":[108],"generate":[110],"input":[112],"consumption.":[117],"For":[118],"evaluation,":[119],"implement":[121],"js-evm,":[125],"widely":[127,251],"used":[128,252],"Ethereum":[129],"virtual":[130],"machine":[131],"written":[132],"Javascript,":[134],"conduct":[136],"experiments":[137],"736":[139],"real-world":[140],"transactions":[141,151,173,233],"recorded":[142,167],"Ethereum.":[144],"A":[145],"total":[146],"44.02%":[148],"would":[152],"out-of-gas":[154,248],"estimation":[159,227],"results":[160,217],"given":[161],"by":[162,181],"solc,":[163],"meaning":[164],"real":[168],"for":[171],"those":[172],"larger":[175],"than":[176],"estimated":[180],"solc.":[182],"comparison,":[184],"could":[186],"ratio":[190],"13.86%.":[192],"To":[193],"evaluate":[194],"performance":[196,211],"engine":[199],"implemented":[203],"other":[204],"directed":[205],"fuzzing":[206],"engines":[207],"compared":[209],"their":[210],"V-Gas.":[215],"The":[216],"showed":[218],"same":[223],"or":[224],"higher":[225],"value":[228],"97.8%":[230],"less":[235],"time,":[236],"usually":[237],"within":[238],"5":[239],"minutes.":[240],"Furthermore,":[241],"has":[243],"exposed":[244],"25":[245],"previously":[246],"unknown":[247],"vulnerabilities":[249],"contracts,":[254],"6":[255],"assigned":[260],"unique":[261],"CVE":[262],"identifiers":[263],"U.S.":[266],"National":[267],"Vulnerability":[268],"Database.":[269]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}