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.