{"id":"https://openalex.org/W4288701128","doi":"https://doi.org/10.1145/3548683","title":"Storage State Analysis and Extraction of Ethereum Blockchain Smart Contracts","display_name":"Storage State Analysis and Extraction of Ethereum Blockchain Smart Contracts","publication_year":2022,"publication_date":"2022-07-29","ids":{"openalex":"https://openalex.org/W4288701128","doi":"https://doi.org/10.1145/3548683"},"language":"en","primary_location":{"id":"doi:10.1145/3548683","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3548683","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","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/A5046255911","display_name":"Maha Ayub","orcid":"https://orcid.org/0000-0002-3389-9054"},"institutions":[{"id":"https://openalex.org/I1323252656","display_name":"Information Technology University","ror":"https://ror.org/00ngv8j44","country_code":"PK","type":"education","lineage":["https://openalex.org/I1323252656"]},{"id":"https://openalex.org/I172780181","display_name":"University of the Punjab","ror":"https://ror.org/011maz450","country_code":"PK","type":"education","lineage":["https://openalex.org/I172780181"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Maha Ayub","raw_affiliation_strings":["Information Technology University of Punjab, Lahore, Punjab, Pakistan"],"raw_orcid":"https://orcid.org/0000-0002-3389-9054","affiliations":[{"raw_affiliation_string":"Information Technology University of Punjab, Lahore, Punjab, Pakistan","institution_ids":["https://openalex.org/I172780181","https://openalex.org/I1323252656"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074006737","display_name":"Tania Saleem","orcid":"https://orcid.org/0000-0001-8696-2638"},"institutions":[{"id":"https://openalex.org/I1323252656","display_name":"Information Technology University","ror":"https://ror.org/00ngv8j44","country_code":"PK","type":"education","lineage":["https://openalex.org/I1323252656"]},{"id":"https://openalex.org/I172780181","display_name":"University of the Punjab","ror":"https://ror.org/011maz450","country_code":"PK","type":"education","lineage":["https://openalex.org/I172780181"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Tania Saleem","raw_affiliation_strings":["Information Technology University of Punjab, Lahore, Punjab, Pakistan"],"raw_orcid":"https://orcid.org/0000-0001-8696-2638","affiliations":[{"raw_affiliation_string":"Information Technology University of Punjab, Lahore, Punjab, Pakistan","institution_ids":["https://openalex.org/I172780181","https://openalex.org/I1323252656"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074976171","display_name":"Muhammad Umar Janjua","orcid":"https://orcid.org/0000-0002-8048-6156"},"institutions":[{"id":"https://openalex.org/I1323252656","display_name":"Information Technology University","ror":"https://ror.org/00ngv8j44","country_code":"PK","type":"education","lineage":["https://openalex.org/I1323252656"]},{"id":"https://openalex.org/I172780181","display_name":"University of the Punjab","ror":"https://ror.org/011maz450","country_code":"PK","type":"education","lineage":["https://openalex.org/I172780181"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Muhammad Janjua","raw_affiliation_strings":["Information Technology University of Punjab, Lahore, Punjab, Pakistan"],"raw_orcid":"https://orcid.org/0000-0002-8048-6156","affiliations":[{"raw_affiliation_string":"Information Technology University of Punjab, Lahore, Punjab, Pakistan","institution_ids":["https://openalex.org/I172780181","https://openalex.org/I1323252656"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090279940","display_name":"Talha Ahmad","orcid":"https://orcid.org/0000-0003-4760-0911"},"institutions":[{"id":"https://openalex.org/I1323252656","display_name":"Information Technology University","ror":"https://ror.org/00ngv8j44","country_code":"PK","type":"education","lineage":["https://openalex.org/I1323252656"]},{"id":"https://openalex.org/I172780181","display_name":"University of the Punjab","ror":"https://ror.org/011maz450","country_code":"PK","type":"education","lineage":["https://openalex.org/I172780181"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Talha Ahmad","raw_affiliation_strings":["Information Technology University of Punjab, Lahore, Punjab, Pakistan"],"raw_orcid":"https://orcid.org/0000-0003-4760-0911","affiliations":[{"raw_affiliation_string":"Information Technology University of Punjab, Lahore, Punjab, Pakistan","institution_ids":["https://openalex.org/I172780181","https://openalex.org/I1323252656"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":8.9825,"has_fulltext":false,"cited_by_count":31,"citation_normalized_percentile":{"value":0.97870722,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":100},"biblio":{"volume":"32","issue":"3","first_page":"1","last_page":"32"},"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.9998999834060669,"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.9998999834060669,"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/T11614","display_name":"Cloud Data Security Solutions","score":0.9395999908447266,"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/T11424","display_name":"Security and Verification in Computing","score":0.9343000054359436,"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/computer-science","display_name":"Computer science","score":0.8314491510391235},{"id":"https://openalex.org/keywords/smart-contract","display_name":"Smart contract","score":0.6555935740470886},{"id":"https://openalex.org/keywords/upgrade","display_name":"Upgrade","score":0.6365865468978882},{"id":"https://openalex.org/keywords/solidity","display_name":"Solidity","score":0.48823025822639465},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.48227861523628235},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4479154050350189},{"id":"https://openalex.org/keywords/trie","display_name":"Trie","score":0.4458322823047638},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.41109010577201843},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.3825596868991852},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3226516842842102},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.32015007734298706},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.27564525604248047},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.25551724433898926},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.24073851108551025}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8314491510391235},{"id":"https://openalex.org/C2779950589","wikidata":"https://www.wikidata.org/wiki/Q7544035","display_name":"Smart contract","level":3,"score":0.6555935740470886},{"id":"https://openalex.org/C2780615140","wikidata":"https://www.wikidata.org/wiki/Q920419","display_name":"Upgrade","level":2,"score":0.6365865468978882},{"id":"https://openalex.org/C2778362873","wikidata":"https://www.wikidata.org/wiki/Q24909565","display_name":"Solidity","level":2,"score":0.48823025822639465},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.48227861523628235},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4479154050350189},{"id":"https://openalex.org/C190290938","wikidata":"https://www.wikidata.org/wiki/Q387015","display_name":"Trie","level":3,"score":0.4458322823047638},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.41109010577201843},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.3825596868991852},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3226516842842102},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.32015007734298706},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.27564525604248047},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.25551724433898926},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.24073851108551025}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3548683","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3548683","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W2901416941","https://openalex.org/W2929429542","https://openalex.org/W2947245239","https://openalex.org/W2955447707","https://openalex.org/W2970809537","https://openalex.org/W3016694020","https://openalex.org/W3046241922","https://openalex.org/W3105187050","https://openalex.org/W3107814273","https://openalex.org/W3125989628"],"related_works":["https://openalex.org/W270927586","https://openalex.org/W2377966044","https://openalex.org/W3182926846","https://openalex.org/W283806354","https://openalex.org/W4210576557","https://openalex.org/W3171281804","https://openalex.org/W4221139150","https://openalex.org/W2999673069","https://openalex.org/W2901416941","https://openalex.org/W4376606612"],"abstract_inverted_index":{"In":[0,61],"migrating":[1],"and":[2,38,76,92,148],"upgrading":[3],"an":[4,68],"Ethereum":[5],"smart":[6,30,84,131,159],"contract,":[7,31],"it":[8],"is":[9],"necessary":[10],"to":[11,25,74,145,152],"transfer":[12],"both":[13],"the":[14,19,49,78,81,88,93,98,102,112,118,123,127,136,139,143,154,169,174],"code":[15],"as":[16,18,67],"well":[17],"stored":[20],"data.":[21],"Various":[22],"methods":[23],"attempt":[24],"migrate":[26],"or":[27],"upgrade":[28,119],"a":[29],"but":[32],"they":[33,44],"are":[34],"mostly":[35],"manual,":[36],"error-prone,":[37],"applicable":[39],"only":[40],"before":[41],"deployment.":[42],"Further,":[43],"have":[45],"challenges":[46],"in":[47,126,142],"extracting":[48],"storage":[50],"state":[51,79,106,125,156,172],"of":[52,83,97,129,138,157],"complex":[53],"mapping":[54,109,144,155],"data":[55],"structures":[56],"along":[57,111],"with":[58,161,173],"their":[59],"keys.":[60],"this":[62],"work,":[63],"we":[64,166],"present":[65],"Smartmuv":[66,133],"automatic":[69],"source-code-based":[70],"static":[71],"analysis":[72],"tool":[73,103,176],"analyze":[75],"extract":[77,146,153],"from":[80],"storage-trie":[82],"contracts.":[85],"Based":[86],"on":[87],"abstract":[89],"syntax":[90],"tree":[91],"control":[94],"flow":[95],"graphs":[96],"Solidity":[99],"source":[100],"code,":[101],"analyzes":[104],"each":[105],"variable":[107],"including":[108],"types":[110],"inheritance":[113],"hierarchy.":[114],"It":[115],"also":[116,167],"provides":[117],"algorithm":[120],"that":[121],"initializes":[122],"extracted":[124,171],"constructor":[128],"new":[130],"contract.":[132],"safely":[134],"approximates":[135],"origin":[137],"keys":[140],"used":[141],"values":[147],"has":[149],"been":[150],"able":[151],"23,673":[158],"contracts":[160],"95.7%":[162],"overall":[163],"precision.":[164],"Moreover,":[165],"validate":[168],"Smartmuv\u2019s":[170],"third-party":[175],"Etherscan.":[177]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":18},{"year":2024,"cited_by_count":9},{"year":2023,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}