Files

Alex Crichton 0642e62f16 Use wasm-smith to canonicalize NaN in differential fuzzing (#3195 )

* Update wasm-smith to 0.7.0

* Canonicalize NaN with wasm-smith for differential fuzzing

This then also enables floating point executing in wasmi in addition to
the spec interpreter. With NaN canonicalization at the wasm level this
means that we should be producing deterministic results between Wasmtime
and these alternative implementations.

2021-08-17 11:42:22 -05:00

src

Use wasm-smith to canonicalize NaN in differential fuzzing (#3195 )

2021-08-17 11:42:22 -05:00

wasm-spec-interpreter

fuzz: retrieve the WebAssembly spec repository in build.rs

2021-08-10 11:56:07 -07:00

build.rs

Actually make spectest fuzzing deterministic

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

Cargo.toml

Use wasm-smith to canonicalize NaN in differential fuzzing (#3195 )

2021-08-17 11:42:22 -05: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.