{"id":"https://openalex.org/W4403222872","doi":"https://doi.org/10.1145/3689711","title":"VarLifter: Recovering Variables and Types from Bytecode of Solidity Smart Contracts","display_name":"VarLifter: Recovering Variables and Types from Bytecode of Solidity Smart Contracts","publication_year":2024,"publication_date":"2024-10-08","ids":{"openalex":"https://openalex.org/W4403222872","doi":"https://doi.org/10.1145/3689711"},"language":"en","primary_location":{"id":"doi:10.1145/3689711","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3689711","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1145/3689711","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5073615066","display_name":"Yichuan Li","orcid":"https://orcid.org/0000-0001-9166-087X"},"institutions":[{"id":"https://openalex.org/I36399199","display_name":"Nanjing University of Science and Technology","ror":"https://ror.org/00xp9wg62","country_code":"CN","type":"education","lineage":["https://openalex.org/I36399199"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yichuan Li","raw_affiliation_strings":["Nanjing University of Science and Technology, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0001-9166-087X","affiliations":[{"raw_affiliation_string":"Nanjing University of Science and Technology, Nanjing, China","institution_ids":["https://openalex.org/I36399199"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071056788","display_name":"Wei Song","orcid":"https://orcid.org/0000-0002-4324-3382"},"institutions":[{"id":"https://openalex.org/I36399199","display_name":"Nanjing University of Science and Technology","ror":"https://ror.org/00xp9wg62","country_code":"CN","type":"education","lineage":["https://openalex.org/I36399199"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wei Song","raw_affiliation_strings":["Nanjing University of Science and Technology, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0002-4324-3382","affiliations":[{"raw_affiliation_string":"Nanjing University of Science and Technology, Nanjing, China","institution_ids":["https://openalex.org/I36399199"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103035835","display_name":"Jeff Huang","orcid":"https://orcid.org/0000-0003-1393-0752"},"institutions":[{"id":"https://openalex.org/I91045830","display_name":"Texas A&M University","ror":"https://ror.org/01f5ytq51","country_code":"US","type":"education","lineage":["https://openalex.org/I91045830"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jeff Huang","raw_affiliation_strings":["Texas A&M University, College Station, USA"],"raw_orcid":"https://orcid.org/0000-0003-1393-0752","affiliations":[{"raw_affiliation_string":"Texas A&M University, College Station, USA","institution_ids":["https://openalex.org/I91045830"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.7581,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.92291235,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":"8","issue":"OOPSLA2","first_page":"1","last_page":"29"},"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.9991000294685364,"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.9991000294685364,"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/T10883","display_name":"Ethics and Social Impacts of AI","score":0.9498999714851379,"subfield":{"id":"https://openalex.org/subfields/3311","display_name":"Safety Research"},"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9322999715805054,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/solidity","display_name":"Solidity","score":0.9922847747802734},{"id":"https://openalex.org/keywords/bytecode","display_name":"Bytecode","score":0.8457574248313904},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.40202683210372925},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.39669930934906006},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13123533129692078}],"concepts":[{"id":"https://openalex.org/C2778362873","wikidata":"https://www.wikidata.org/wiki/Q24909565","display_name":"Solidity","level":2,"score":0.9922847747802734},{"id":"https://openalex.org/C2779818221","wikidata":"https://www.wikidata.org/wiki/Q837330","display_name":"Bytecode","level":3,"score":0.8457574248313904},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.40202683210372925},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.39669930934906006},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13123533129692078},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3689711","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3689711","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3689711","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3689711","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17","score":0.47999998927116394}],"awards":[{"id":"https://openalex.org/G706364344","display_name":null,"funder_award_id":"62472221, 61761136003","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":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W1498914194","https://openalex.org/W1582456956","https://openalex.org/W1862398452","https://openalex.org/W1968061803","https://openalex.org/W1982205631","https://openalex.org/W1987830983","https://openalex.org/W1994676549","https://openalex.org/W2025704776","https://openalex.org/W2030906223","https://openalex.org/W2041466367","https://openalex.org/W2060573639","https://openalex.org/W2102039064","https://openalex.org/W2111765806","https://openalex.org/W2122403474","https://openalex.org/W2128133205","https://openalex.org/W2548165777","https://openalex.org/W2804390587","https://openalex.org/W2955447707","https://openalex.org/W2963125488","https://openalex.org/W3021447659","https://openalex.org/W3088323786","https://openalex.org/W3100733828","https://openalex.org/W3153698034","https://openalex.org/W3160746813","https://openalex.org/W3181957689","https://openalex.org/W3194813479","https://openalex.org/W3214421193","https://openalex.org/W4205689130","https://openalex.org/W4206568431","https://openalex.org/W4225143755","https://openalex.org/W4238983745","https://openalex.org/W4288057718","https://openalex.org/W4288079492","https://openalex.org/W4307886768","https://openalex.org/W4307887068","https://openalex.org/W4365808189","https://openalex.org/W4384302865","https://openalex.org/W4389162220","https://openalex.org/W4389199614","https://openalex.org/W4389312529","https://openalex.org/W4402442215","https://openalex.org/W6629364528","https://openalex.org/W6949274831"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2968888849","https://openalex.org/W2901515670","https://openalex.org/W4226265621","https://openalex.org/W4307962079","https://openalex.org/W2960127789","https://openalex.org/W2966120688","https://openalex.org/W2979162004","https://openalex.org/W4285068968"],"abstract_inverted_index":{"Since":[0],"funds":[1],"or":[2,134],"tokens":[3],"in":[4,61,164,202],"smart":[5,62,95,177,200],"contracts":[6,201],"are":[7],"maintained":[8],"through":[9],"specific":[10],"state":[11],"variables,":[12,152],"contract":[13,63,96,241,243,246,257],"audit,":[14,66,244],"an":[15],"effective":[16],"means":[17],"for":[18,38,107,190],"security":[19],"assurance,":[20],"particularly":[21],"focuses":[22],"on":[23,160,173],"these":[24],"variables":[25,49,101,230],"and":[26,50,65,78,89,102,124,147,185,226,245],"their":[27,51],"related":[28],"operations.":[29],"However,":[30],"the":[31,74,105,122,156,161,165,214,219,251],"absence":[32],"of":[33,127,137,167,183,188,199,218,238],"publicly":[34],"accessible":[35],"source":[36],"code":[37],"numerous":[39],"contracts,":[40],"with":[41,82],"only":[42,81],"bytecode":[43,55,75,223,247],"exposed,":[44],"hinders":[45],"audit":[46],"efforts.":[47],"Recovering":[48],"types":[52,106,158],"from":[53],"Solidity":[54,176,222],"is":[56,69,210],"thus":[57],"a":[58,70,118,138,181,186],"critical":[59],"task":[60,72],"analysis":[64,258],"yet":[67],"this":[68,112],"challenging":[71],"because":[73],"loses":[76],"variable":[77,157,162,192,215,253],"type":[79],"information,":[80],"low-level":[83],"data":[84,139],"operated":[85],"by":[86],"stack":[87],"manipulations":[88],"untyped":[90],"memory/storage":[91],"accesses.":[92],"The":[93,236],"state-of-the-art":[94,221],"decompilers":[97],"miss":[98],"identifying":[99],"many":[100,108,256],"incorrectly":[103],"infer":[104],"identified":[109,151],"variables.":[110,129],"To":[111],"end,":[113],"we":[114],"propose":[115],"VarLifter":[116,130,172,179,195,209,239],",":[117],"lifter":[119],"dedicated":[120],"to":[121,212,240],"precise":[123],"efficient":[125],"recovery":[126,216],"typed":[128,191,229],"interprets":[131],"every":[132],"read":[133],"written":[135],"field":[136],"region":[140],"as":[141],"at":[142],"least":[143],"one":[144],"potential":[145],"variable,":[146],"after":[148],"discarding":[149],"falsely":[150],"it":[153],"progressively":[154],"refines":[155],"based":[159],"behaviors":[163],"form":[166],"operation":[168],"sequences.":[169],"We":[170],"evaluate":[171],"34,832":[174],"real-world":[175],"contracts.":[178],"attains":[180],"precision":[182],"97.48%":[184],"recall":[187],"91.84%":[189],"recovery.":[193],"Moreover,":[194],"finishes":[196],"analyzing":[197],"77%":[198],"around":[203],"10":[204],"seconds":[205],"per":[206],"contract.":[207],"If":[208],"used":[211],"replace":[213],"modules":[217],"two":[220],"decompilers,":[224],"52.4%,":[225],"74.6%":[227],"more":[228],"will":[231],"be":[232],"correctly":[233],"recovered,":[234],"respectively.":[235],"applications":[237],"decompilation,":[242],"fuzzing":[248],"illustrate":[249],"that":[250],"recovered":[252],"information":[254],"improves":[255],"tasks.":[259]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}