Struct wasm_smith::Module

pub struct Module { /* fields omitted */ }

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 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.

Trait Implementations

impl Arbitrary for Module

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

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

fn arbitrary_take_rest(u: Unstructured<'_>) -> Result<Self>

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 shrink(&self) -> Box<dyn Iterator<Item = Self>>

Generate an iterator of derived values which are "smaller" than the original self instance.

impl Debug for Module

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

Formats the value using the given formatter.

impl Default for Module

fn default() -> Module

Returns the "default value" for a type.