SmartMuv offers a sophisticated platform for Solidity smart contract comprehensive state/storage analysis and data extraction.

It aims to revolutionize Dapp analytics and exploration within the blockchain space, by not only solving the problem of limited visibility into contract states but also by providing deep insights into Dapp activities, source code, and slot layouts. Our platform enables users to obtain a complete and detailed view of a smart contract's storage layout, including variable names, values, and slot numbers.

SmartMuv's unique "Key Approximation Analysis" technique surmounts Solidity's limitations in mapping variable keys, enhancing the accuracy and breadth of state extraction.

It is an invaluable tool for developers, auditors, and blockchain explorers, empowering them to audit contracts more effectively, manage contract upgrades, migrate contracts between EVM-compatible chains, and explore Dapps with unprecedented depth and precision, thereby establishing itself as a crucial resource in the blockchain ecosystem.

Key Features

Slot Analysis: Get a detailed slot layout of any smart contract.

State Extraction: Snapshot contract states up to any designated block number.

State Provider: A perfect tool for blockchain explorers, offering complete contract state data.

Storage Audit: Auditors can perform extensive storage audits on storage data for improved security and efficiency.

Redeployment/Upgrade Assistance: Handle smart contract upgrades while preserving existing state and data.

Migration Support: Migrate contracts between layers easily, keeping essential contract data intact.

Check out our GitHub repo at https://github.com/WaizKhan7/SmartMuv

Link to peer-reviewed research work published on ACM TOSEM - https://dl.acm.org/doi/10.1145/3548683

SmartMuv Website

Our website currently allows users to analyze contract storage, extract data, and generate comprehensive reports.

Slot Analysis

SmartMuv analyzes the source code and provides a complete slot layout of the smart contract.

State Extraction

SmartMuv analyzes and then extracts the complete state/data of the contract using our deep tech algorithms.

Users can also download the extracted state in JSON format by clicking on the “Download” button.

Detailed Analysis Report

Users can generate detailed reports about their contract’s source code, mapping keys, slot layout, and storage details from our website.

Example Report