Instead of asking the user to provide mapping keys manually, we can analyze the function execution trace to automatically identify which mapping keys were updated during the call. Using these keys, we can then compute their corresponding storage slots and retrieve the values stored at those slots. This feature leverages function execution traces to enhance the mapping inspection process.
Instead of asking the user to provide mapping keys manually, we can analyze the function execution trace to automatically identify which mapping keys were updated during the call. Using these keys, we can then compute their corresponding storage slots and retrieve the values stored at those slots. This feature leverages function execution traces to enhance the mapping inspection process.