Module mapping_slots 

Structs

MappingProvenance

Provenance recovered for a Solidity mapping storage slot.

MappingSlots

Recorded mapping slots.

PendingMappingHash

A pending 64-byte Keccak operation captured before execution.

Functions

capture_hash

Captures a 64-byte Keccak operation before execution.

record_hash

Records a successfully executed 64-byte Keccak operation after memory expansion.

step

Function to be used in Inspector::step to record mapping slots.