Skip to main content

Module state

Module state 

Source

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.
PUSH_BYTE_ANALYSIS_LIMIT 🔒
The maximum number of bytes we will look at in bytecodes to find push bytes (24 KiB).

Traits§

FuzzStateReader