Crate wasm_smith
source · [−]Expand description
A WebAssembly test case generator.
Usage
First, use cargo fuzz
to define
a new fuzz target:
$ cargo fuzz add my_wasm_smith_fuzz_target
Next, add wasm-smith
to your dependencies:
[dependencies]
wasm-smith = "0.4.0"
Then, define your fuzz target so that it takes arbitrary
wasm_smith::Module
s as an argument, convert the module into serialized
Wasm bytes via the to_bytes
method, and then feed it into your system:
// fuzz/fuzz_targets/my_wasm_smith_fuzz_target.rs
#![no_main]
use libfuzzer_sys::fuzz_target;
use wasm_smith::Module;
fuzz_target!(|module: Module| {
let wasm_bytes = module.to_bytes();
// Your code here...
});
Finally, start fuzzing:
$ cargo fuzz run my_wasm_smith_fuzz_target
Note: For a real world example, also check out the
validate
fuzz target defined in this repository. Using thewasmparser
crate, it checks that every module generated bywasm-smith
validates successfully.
Design
The design and implementation strategy of wasm-smith is outlined in this article.
Structs
A pseudo-random generated Wasm component with custom configuration.
A pseudo-random generated WebAssembly file with custom configuration.
The default configuration.
A container for the kinds of instructions that wasm-smith is allowed to emit.
Same as Module
, but may be invalid.
A pseudo-random WebAssembly module.
A module configuration that uses swarm testing.
Enums
Enumerate the categories of instructions defined in the WebAssembly specification.
Traits
Configuration for a generated module.