Module mapping_slots 

Re-exports

use alloy_primitives::Address; 🔒

use alloy_primitives::B256; 🔒

use alloy_primitives::U256; 🔒

use revm::bytecode::opcode; 🔒

use revm::interpreter::Interpreter; 🔒

use revm::interpreter::interpreter_types::Jumps; 🔒

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.