Storage State Analysis and Extraction of Ethereum Blockchain Smart Contracts[J] ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY 2023(32) Ayub, Maha Saleem, Tania Janjua, Muhammad Ahmad, Talha