Files

Alex Crichton 15940d071f Force enable multi-value for spec tests in fuzzing (#3869 )

Spec tests require multi-value to be enabled and wasm-smith recently
made this a fuzz-input option, so override the fuzz input as we do for
other features and force-enable multi-value.

2022-03-02 11:17:14 -06:00

src

Force enable multi-value for spec tests in fuzzing (#3869 )

2022-03-02 11:17:14 -06:00

wasm-spec-interpreter

Pin spec interpreter to a specific revision (#3868 )

2022-03-02 10:54:05 -06:00

build.rs

Actually make spectest fuzzing deterministic

2021-03-29 09:12:16 -07:00

Cargo.toml

Fuzzing against verified fork of spec interpreter (#3843 )

2022-03-01 12:01:46 -06:00

README.md

Create a new wasmtime-fuzzing crate

2019-11-21 14:51:07 -08:00

README.md

Fuzzing Infrastructure for Wasmtime

This crate provides test case generators and oracles for use with fuzzing.

These generators and oracles are generally independent of the fuzzing engine that might be using them and driving the whole fuzzing process (e.g. libFuzzer or AFL). As such, this crate does not contain any actual fuzz targets itself. Those are generally just a couple lines of glue code that plug raw input from (for example) libFuzzer into a generator, and then run one or more oracles on the generated test case.

If you're looking for the actual fuzz target definitions we currently have, they live in wasmtime/fuzz/fuzz_targets/* and are driven by cargo fuzz and libFuzzer.