Struct wasm_smith::Module

pub struct Module { /* private fields */ }

A pseudo-random WebAssembly module.

Construct instances of this type with the Arbitrary trait.

Configuring Generated Modules

This uses the DefaultConfig configuration. If you want to customize the shape of generated modules, define your own configuration type, implement the Config trait for it, and use ConfiguredModule<YourConfigType> instead of plain Module.

Implementations

impl Module

pub fn to_bytes(&self) -> Vec<u8>

Encode this Wasm module into bytes.

impl Module

pub fn no_traps(&mut self) -> Result<(), NotSupported<'_>>

Ensure that this generated module will never trap.

This will take a number of approaches to avoid traps, such as

• mask loads’ and stores’ addresses to the associated memory’s size

• mask table.gets’ and table.set’s index to the associated table’s size

• ensure that a divisor is never zero

• replace unreachables with dummy-value returns

• Masking data and element segments’ offsets to be in bounds of their associated tables or memories

impl Module

pub fn ensure_termination(&mut self, default_fuel: u32) -> u32

Ensure that all of this Wasm module’s functions will terminate when executed.

This adds a new mutable, exported global to the module to keep track of how much “fuel” is left. Fuel is decremented at the head of each loop and function. When fuel reaches zero, a trap is raised.

The index of the fuel global is returned, so that you may control how much fuel the module is given.

impl Module

pub fn config(&self) -> &dyn Config

Returns a reference to the internal configuration.

pub fn new(config: impl Config, u: &mut Unstructured<'_>) -> Result<Self>

Creates a new Module with the specified config for configuration and Unstructured for the DNA of this module.

Trait Implementations

impl<'a> Arbitrary<'a> for Module

fn arbitrary(u: &mut Unstructured<'a>) -> Result<Self>

Generate an arbitrary value of Self from the given unstructured data.

fn arbitrary_take_rest(u: Unstructured<'a>) -> Result<Self, Error>

Generate an arbitrary value of Self from the entirety of the given unstructured data.

fn size_hint(depth: usize) -> (usize, Option<usize>)

Get a size hint for how many bytes out of an Unstructured this type needs to construct itself.

impl Debug for Module

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

Formats the value using the given formatter.