Module random 

Random state generation.

Structs

StateGen

Generates random SystemStates consistent with a set of MemoryAccesses.

Enums

RandomizationError

Error that can occur while generating a randomized CPU input state.

RemapError

Error that can be returned by StateGen::remap.

Functions

random_state

Generates a randomized SystemState, with only one memory mapping for the provided instruction instr.

randomized_bytes

Returns a vector of len random bytes.

randomized_bytes_into_arrayvec

Generates randomized bytes and puts them in an ArrayVec.

randomized_bytes_into_buffer

Generates randomized bytes and puts them in buf.

randomized_bytes_select_nth

Returns a randomized byte for position index into a byte vector. This avoids the allocation of a vector for the result.

randomized_value

Returns a randomized u64 value.

update_memory_addresses_unchecked

Updates the memory mappings to the correct locations according to accesses without checking for overlapping mappings or mappings that cross page boundaries.