T0b1/wasmtime
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fuzzing: Enable NaN canonicalization (#1334)

Browse Source 
* Method to enable NaN canonicalization in Config

* Use fuzz_default_config in DifferentialConfig

* Enable NaN canonicalization for fuzzing
This commit is contained in:
teapotd
2020-03-31 16:22:08 +02:00
committed by GitHub
parent ac7cd4c46a
commit 2180e9ce16
4 changed files with 34 additions and 17 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
crates/fuzzing/src/oracles.rs
View File

@@ -16,18 +16,6 @@ use dummy::dummy_imports;
use std::sync::atomic::{AtomicUsize, Ordering::SeqCst};
use wasmtime::*;
fn fuzz_default_config(strategy: Strategy) -> Config {
crate::init_fuzzing();
let mut config = Config::new();
config
.cranelift_debug_verifier(true)
.wasm_multi_value(true)
.wasm_bulk_memory(true)
.strategy(strategy)
.expect("failed to enable lightbeam");
return config;
}
fn log_wasm(wasm: &[u8]) {
static CNT: AtomicUsize = AtomicUsize::new(0);
if !log::log_enabled!(log::Level::Debug) {
@@ -51,7 +39,7 @@ fn log_wasm(wasm: &[u8]) {
///
/// You can control which compiler is used via passing a `Strategy`.
pub fn instantiate(wasm: &[u8], strategy: Strategy) {
instantiate_with_config(wasm, fuzz_default_config(strategy));
instantiate_with_config(wasm, crate::fuzz_default_config(strategy).unwrap());
}
/// Instantiate the Wasm buffer, and implicitly fail if we have an unexpected
@@ -98,7 +86,7 @@ pub fn instantiate_with_config(wasm: &[u8], config: Config) {
pub fn compile(wasm: &[u8], strategy: Strategy) {
crate::init_fuzzing();
let engine = Engine::new(&fuzz_default_config(strategy));
let engine = Engine::new(&crate::fuzz_default_config(strategy).unwrap());
let store = Store::new(&engine);
log_wasm(wasm);
let _ = Module::new(&store, wasm);