Module generators

Test case generators.

Test case generators take raw, unstructured input from a fuzzer (e.g. libFuzzer) and translate that into a structured test case (e.g. a valid Wasm binary).

These are generally implementations of the Arbitrary trait, or some wrapper over an external tool, such that the wrapper implements the Arbitrary trait for the wrapped external tool.

Modules

api

Generating sequences of Wasmtime API calls.

component_types

This module generates test cases for the Wasmtime component model function APIs, e.g. wasmtime::component::func::Func and TypedFunc.

table_ops

Generating series of table.get and table.set operations.

Structs

Config

Configuration for wasmtime::Config and generated modules for a session of fuzzing.

HeapImage

A memory heap image.

MemoryAccesses

A description of a memory config, image, etc… that can be used to test memory accesses.

ModuleConfig

Default module-level configuration for fuzzing Wasmtime.

NormalMemoryConfig

Represents a normal memory configuration for Wasmtime with the given static and dynamic memory sizes.

PoolingAllocationConfig

Configuration for wasmtime::PoolingAllocationStrategy.

SingleInstModule

Configure a single instruction module.

Stacks

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

UnalignedMemory

A custom “linear memory allocator” for wasm which only works with the “dynamic” mode of configuration where wasm always does explicit bounds checks.

UnalignedMemoryCreator

A mechanism to generate UnalignedMemory at runtime.

WasmtimeConfig

Configuration related to wasmtime::Config and the various settings which can be tweaked from within.

WastTest

A wast test from this repository.

Enums

AsyncConfig

Configuration for async support within a store.

CodegenSettings

Choose between matching the host architecture or a cross-compilation target.

CompilerStrategy

Compiler to use.

DiffValue

A value passed to and from evaluation. Note that reference types are not (yet) supported.

DiffValueType

Enumerate the supported value types.

InstanceAllocationStrategy

Configuration for wasmtime::InstanceAllocationStrategy.

MemoryConfig

Configuration for linear memories in Wasmtime.