Struct Module

pub struct Module { /* private fields */ }

A pseudo-random WebAssembly module.

Construct instances of this type (with default configuration) with the Arbitrary trait.

Configuring Generated Modules

To configure the shape of generated module, create a Config and then call Module::new with it.

Implementations

impl Module

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

Encode this Wasm module into bytes.

impl Module

pub fn ensure_termination(&mut self, default_fuel: u32) -> Result<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.

Errors

Returns an error if any function body was generated with possibly-invalid bytes rather than being generated by wasm-smith. In such a situation this pass does not parse the input bytes and inject instructions, instead it returns an error.

impl Module

pub fn config(&self) -> &Config

Returns a reference to the internal configuration.

pub fn new(config: 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.

fn try_size_hint( depth: usize, ) -> Result<(usize, Option<usize>), MaxRecursionReached>

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.