Struct FuzzDictionary

pub struct FuzzDictionary {
    state_values: IndexSet<B256, BuildHasherDefault<AHasher>>,
    addresses: IndexSet<Address, BuildHasherDefault<AHasher>>,
    config: FuzzDictionaryConfig,
    db_state_values: usize,
    db_addresses: usize,
    sample_values: HashMap<DynSolType, IndexSet<B256, BuildHasherDefault<AHasher>>>,
    misses: usize,
    hits: usize,
}

Fields

state_values: IndexSet<B256, BuildHasherDefault<AHasher>>

Collected state values.

addresses: IndexSet<Address, BuildHasherDefault<AHasher>>

Addresses that already had their PUSH bytes collected.

config: FuzzDictionaryConfig

Configuration for the dictionary.

db_state_values: usize

Number of state values initially collected from db. Used to revert new collected values at the end of each run.

db_addresses: usize

Number of address values initially collected from db. Used to revert new collected addresses at the end of each run.

sample_values: HashMap<DynSolType, IndexSet<B256, BuildHasherDefault<AHasher>>>

Sample typed values that are collected from call result and used across invariant runs.

misses: usize

hits: usize

Implementations

impl FuzzDictionary

pub fn new(config: FuzzDictionaryConfig) -> Self

fn prefill(&mut self)

Insert common values into the dictionary at initialization.

fn insert_db_values(&mut self, db_state: Vec<(&Address, &DbAccount)>)

Insert values from initial db state into fuzz dictionary. These values are persisted across invariant runs.

fn insert_result_values( &mut self, function: Option<&Function>, result: &Bytes, run_depth: u32, )

Insert values collected from call result into fuzz dictionary.

fn insert_logs_values( &mut self, abi: Option<&JsonAbi>, logs: &[Log], run_depth: u32, )

Insert values from call log topics and data into fuzz dictionary.

fn insert_new_state_values(&mut self, state_changeset: &StateChangeset)

Insert values from call state changeset into fuzz dictionary. These values are removed at the end of current run.

fn insert_push_bytes_values( &mut self, address: &Address, account_info: &AccountInfo, )

Insert values from push bytes into fuzz dictionary. Values are collected only once for a given address. If values are newly collected then they are removed at the end of current run.

fn collect_push_bytes(&mut self, code: &[u8])

fn insert_storage_value(&mut self, storage_slot: &U256, storage_value: &U256)

Insert values from single storage slot and storage value into fuzz dictionary. If storage values are newly collected then they are removed at the end of current run.

fn insert_address(&mut self, address: Address)

Insert address into fuzz dictionary. If address is newly collected then it is removed by index at the end of current run.

fn insert_value(&mut self, value: B256)

Insert raw value into fuzz dictionary. If value is newly collected then it is removed by index at the end of current run.

pub fn insert_sample_values( &mut self, sample_values: impl IntoIterator<Item = DynSolValue>, limit: u32, )

Insert sample values that are reused across multiple runs. The number of samples is limited to invariant run depth. If collected samples limit is reached then values are inserted as regular values.

pub fn values(&self) -> &IndexSet<B256, BuildHasherDefault<AHasher>>

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

pub fn samples( &self, param_type: &DynSolType, ) -> Option<&IndexSet<B256, BuildHasherDefault<AHasher>>>

pub fn addresses(&self) -> &IndexSet<Address, BuildHasherDefault<AHasher>>

pub fn revert(&mut self)

Revert values and addresses collected during the run by truncating to initial db len.

pub fn log_stats(&self)

Trait Implementations

impl Debug for FuzzDictionary

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for FuzzDictionary

fn default() -> FuzzDictionary

Returns the “default value” for a type.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 208 bytes