|
|
|
|
[package]
|
|
|
|
|
name = "wasmtime-fuzz"
|
|
|
|
|
version = "0.0.0"
|
|
|
|
|
authors = ["The Wasmtime Project Developers"]
|
|
|
|
|
edition = "2021"
|
|
|
|
|
publish = false
|
|
|
|
|
|
|
|
|
|
[package.metadata]
|
|
|
|
|
cargo-fuzz = true
|
|
|
|
|
|
|
|
|
|
[dependencies]
|
|
|
|
|
cranelift-codegen = { path = "../cranelift/codegen" }
|
|
|
|
|
cranelift-reader = { path = "../cranelift/reader" }
|
|
|
|
|
cranelift-wasm = { path = "../cranelift/wasm" }
|
|
|
|
|
cranelift-filetests = { path = "../cranelift/filetests" }
|
|
|
|
|
cranelift-interpreter = { path = "../cranelift/interpreter" }
|
|
|
|
|
cranelift-fuzzgen = { path = "../cranelift/fuzzgen" }
|
|
|
|
|
libfuzzer-sys = "0.4.0"
|
cranelift: add support for the Mac aarch64 calling convention
This bumps target-lexicon and adds support for the AppleAarch64 calling
convention. Specifically for WebAssembly support, we only have to worry
about the new stack slots convention. Stack slots don't need to be at
least 8-bytes, they can be as small as the data type's size. For
instance, if we need stack slots for (i32, i32), they can be located at
offsets (+0, +4). Note that they still need to be properly aligned on
the data type they're containing, though, so if we need stack slots for
(i32, i64), we can't start the i64 slot at the +4 offset (it must start
at the +8 offset).
Added one test that was failing on the Mac M1, as well as other tests
stressing different yet similar situations.
4 years ago
|
|
|
target-lexicon = "0.12"
|
|
|
|
|
wasmtime = { path = "../crates/wasmtime" }
|
|
|
|
|
wasmtime-fuzzing = { path = "../crates/fuzzing" }
|
|
|
|
|
|
|
|
|
|
[features]
|
|
|
|
|
default = ['fuzz-spec-interpreter']
|
|
|
|
|
fuzz-spec-interpreter = ['wasmtime-fuzzing/fuzz-spec-interpreter']
|
|
|
|
|
|
|
|
|
|
[[bin]]
|
|
|
|
|
name = "compile"
|
|
|
|
|
path = "fuzz_targets/compile.rs"
|
|
|
|
|
test = false
|
|
|
|
|
doc = false
|
|
|
|
|
|
|
|
|
|
[[bin]]
|
|
|
|
|
name = "instantiate"
|
|
|
|
|
path = "fuzz_targets/instantiate.rs"
|
|
|
|
|
test = false
|
|
|
|
|
doc = false
|
|
|
|
|
|
|
|
|
|
[[bin]]
|
|
|
|
|
name = "api_calls"
|
|
|
|
|
path = "fuzz_targets/api_calls.rs"
|
|
|
|
|
test = false
|
|
|
|
|
doc = false
|
|
|
|
|
|
|
|
|
|
[[bin]]
|
|
|
|
|
name = "differential"
|
|
|
|
|
path = "fuzz_targets/differential.rs"
|
|
|
|
|
test = false
|
|
|
|
|
doc = false
|
|
|
|
|
|
|
|
|
|
[[bin]]
|
|
|
|
|
name = "differential_spec"
|
|
|
|
|
path = "fuzz_targets/differential_spec.rs"
|
|
|
|
|
test = false
|
|
|
|
|
doc = false
|
|
|
|
|
required-features = ['fuzz-spec-interpreter']
|
|
|
|
|
|
|
|
|
|
[[bin]]
|
|
|
|
|
name = "differential_wasmi"
|
|
|
|
|
path = "fuzz_targets/differential_wasmi.rs"
|
|
|
|
|
test = false
|
|
|
|
|
doc = false
|
|
|
|
|
|
|
|
|
|
[[bin]]
|
|
|
|
|
name = "differential_v8"
|
|
|
|
|
path = "fuzz_targets/differential_v8.rs"
|
|
|
|
|
test = false
|
|
|
|
|
doc = false
|
|
|
|
|
|
|
|
|
|
[[bin]]
|
|
|
|
|
name = "spectests"
|
|
|
|
|
path = "fuzz_targets/spectests.rs"
|
|
|
|
|
test = false
|
|
|
|
|
doc = false
|
|
|
|
|
|
|
|
|
|
[[bin]]
|
|
|
|
|
name = "table_ops"
|
|
|
|
|
path = "fuzz_targets/table_ops.rs"
|
|
|
|
|
test = false
|
|
|
|
|
doc = false
|
|
|
|
|
|
|
|
|
|
[[bin]]
|
Refactor fuzzing configuration and sometimes disable debug verifier. (#3664)
* fuzz: Refactor Wasmtime's fuzz targets
A recent fuzz bug found is related to timing out when compiling a
module. This timeout, however, is predominately because Cranelift's
debug verifier is enabled and taking up over half the compilation time.
I wanted to fix this by disabling the verifier when input modules might
have a lot of functions, but this was pretty difficult to implement.
Over time we've grown a number of various fuzzers. Most are
`wasm-smith`-based at this point but there's various entry points for
configuring the wasm-smith module, the wasmtime configuration, etc. I've
historically gotten quite lost in trying to change defaults and feeling
like I have to touch a lot of different places. This is the motivation
for this commit, simplifying fuzzer default configuration.
This commit removes the ability to create a default `Config` for
fuzzing, instead only supporting generating a configuration via
`Arbitrary`. This then involved refactoring all targets and fuzzers to
ensure that configuration is generated through `Arbitrary`. This should
actually expand the coverage of some existing fuzz targets since
`Arbitrary for Config` will tweak options that don't affect runtime,
such as memory configuration or jump veneers.
All existing fuzz targets are refactored to use this new method of
configuration. Some fuzz targets were also shuffled around or
reimplemented:
* `compile` - this now directly calls `Module::new` to skip all the
fuzzing infrastructure. This is mostly done because this fuzz target
isn't too interesting and is largely just seeing what happens when
things are thrown at the wall for Wasmtime.
* `instantiate-maybe-invalid` - this fuzz target now skips instantiation
and instead simply goes into `Module::new` like the `compile` target.
The rationale behind this is that most modules won't instantiate
anyway and this fuzz target is primarily fuzzing the compiler. This
skips having to generate arbitrary configuration since
wasm-smith-generated-modules (or valid ones at least) aren't used
here.
* `instantiate` - this fuzz target was removed. In general this fuzz
target isn't too interesting in isolation. Almost everything it deals
with likely won't pass compilation and is covered by the `compile`
fuzz target, and otherwise interesting modules being instantiated can
all theoretically be created by `wasm-smith` anyway.
* `instantiate-wasm-smith` and `instantiate-swarm` - these were both merged
into a new `instantiate` target (replacing the old one from above).
There wasn't really much need to keep these separate since they really
only differed at this point in methods of timeout. Otherwise we much
more heavily use `SwarmConfig` than wasm-smith's built-in options.
The intention is that we should still have basically the same coverage
of fuzzing as before, if not better because configuration is now
possible on some targets. Additionally there is one centralized point of
configuration for fuzzing for wasmtime, `Arbitrary for ModuleConfig`.
This internally creates an arbitrary `SwarmConfig` from `wasm-smith` and
then further tweaks it for Wasmtime's needs, such as enabling various
wasm proposals by default. In the future enabling a wasm proposal on
fuzzing should largely just be modifying this one trait implementation.
* fuzz: Sometimes disable the cranelift debug verifier
This commit disables the cranelift debug verifier if the input wasm
module might be "large" for the definition of "more than 10 functions".
While fuzzing we disable threads (set them to 1) and enable the
cranelift debug verifier. Coupled with a 20-30x slowdown this means that
a module with the maximum number of functions, 100, gives:
60x / 100 functions / 30x slowdown = 20ms
With only 20 milliseconds per function this is even further halved by
the `differential` fuzz target compiling a module twice, which means
that, when compiling with a normal release mode Wasmtime, if any
function takes more than 10ms to compile then it's a candidate for
timing out while fuzzing. Given that the cranelift debug verifier can
more than double compilation time in fuzzing mode this actually means
that the real time budget for function compilation is more like 4ms.
The `wasm-smith` crate can pretty easily generate a large function that
takes 4ms to compile, and then when that function is multiplied 100x in
the `differential` fuzz target we trivially time out the fuzz target.
The hope of this commit is to buy back half our budget by disabling the
debug verifier for modules that may have many functions. Further
refinements can be implemented in the future such as limiting functions
for just the differential target as well.
* Fix the single-function-module fuzz configuration
* Tweak how features work in differential fuzzing
* Disable everything for baseline differential fuzzing
* Enable selectively for each engine afterwards
* Also forcibly enable reference types and bulk memory for spec tests
* Log wasms when compiling
* Add reference types support to v8 fuzzer
* Fix timeouts via fuel
The default store has "infinite" fuel so that needs to be consumed
before fuel is added back in.
* Remove fuzzing-specific tests
These no longer compile and also haven't been added to in a long time.
Most of the time a reduced form of original the fuzz test case is added
when a fuzz bug is fixed.
3 years ago
|
|
|
name = "compile-maybe-invalid"
|
|
|
|
|
path = "fuzz_targets/compile-maybe-invalid.rs"
|
|
|
|
|
test = false
|
|
|
|
|
doc = false
|
|
|
|
|
|
|
|
|
|
[[bin]]
|
|
|
|
|
name = "cranelift-fuzzgen"
|
|
|
|
|
path = "fuzz_targets/cranelift-fuzzgen.rs"
|
|
|
|
|
test = false
|
|
|
|
|
doc = false
|
|
|
|
|
|
|
|
|
|
[[bin]]
|
|
|
|
|
name = "cranelift-fuzzgen-verify"
|
|
|
|
|
path = "fuzz_targets/cranelift-fuzzgen-verify.rs"
|
|
|
|
|
test = false
|
|
|
|
|
doc = false
|
|
|
|
|
|
|
|
|
|
[[bin]]
|
|
|
|
|
name = "instantiate-many"
|
|
|
|
|
path = "fuzz_targets/instantiate-many.rs"
|
|
|
|
|
test = false
|
|
|
|
|
doc = false
|
