Module state 

Structs

EvmFuzzState

Immutable fuzz dictionary seed used by parallel stateless fuzz workers.

FuzzDictionary

InvariantFuzzState

Worker-local mutable fuzz dictionary used by invariant campaigns.

Constants

MAX_PERSISTENT_VALUES 🔒

Maximum number of persistent values from sancov trace-cmp.

MAX_SLOT_INFO_CACHE_ENTRIES 🔒

Maximum cached storage slot layout lookups per fuzz dictionary.

PUSH_BYTE_ANALYSIS_LIMIT 🔒

The maximum number of bytes we will look at in bytecodes to find push bytes (24 KiB).

Traits

FuzzStateReader