Struct Stacks 

pub struct Stacks {
    pub limit: Option<NonZeroUsize>,
    /* private fields */
}

Generate a Wasm module that keeps track of its current call stack, to compare to the host.

Fields

limit: Option<NonZeroUsize>

The maximum number of backtrace frames to collect, or None to disable backtrace collection.

Implementations

impl Stacks

pub fn inputs(&self) -> &[u8]

Get the input values to run the Wasm module with.

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

Get this test case’s Wasm module.

The Wasm module has the following imports:

• host.check_stack: [] -> []: The host can check the Wasm’s understanding of its own stack against the host’s understanding of the Wasm stack to find discrepancy bugs.

• host.call_func: [funcref] -> []: The host should call the given funcref, creating a call stack with multiple sequences of contiguous Wasm frames on the stack like [..., wasm, host, wasm].

The Wasm module has the following exports:

• run: [i32] -> []: This function should be called with each of the input values to run this generated test case.

• get_stack: [] -> [i32 i32]: Get the pointer and length of the u32 array of this Wasm’s understanding of its stack. This is useful for checking whether the host’s view of the stack at a trap matches the Wasm program’s understanding.

Trait Implementations

impl<'a> Arbitrary<'a> for Stacks

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 Stacks

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

Formats the value using the given formatter.