xeos
/
wasmi
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Use wabt's validation instead of wasm2wat. 

Fixes #16
Fixes #34
This commit is contained in:
Sergey Pepyakin 2018-02-05 16:18:11 +03:00
parent a35aee6925
commit 8b1518c705
2 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
fuzz/Cargo.toml
View File

@ -10,7 +10,7 @@ cargo-fuzz = true
[dependencies] [dependencies]
wasmi = { path = ".." } wasmi = { path = ".." }
wabt = "0.1.6" wabt = "0.1.7"
[dependencies.libfuzzer-sys] [dependencies.libfuzzer-sys]
git = "https://github.com/rust-fuzz/libfuzzer-sys.git" git = "https://github.com/rust-fuzz/libfuzzer-sys.git"

12
fuzz/fuzz_targets/load.rs
View File

@ -1,13 +1,13 @@
#![no_main] #![no_main]
#[macro_use] extern crate libfuzzer_sys; #[macro_use]
extern crate wasmi; extern crate libfuzzer_sys;
extern crate wabt; extern crate wabt;
extern crate wasmi;
fuzz_target!(|data: &[u8]| { fuzz_target!(|data: &[u8]| {
let wasmi_result = wasmi::load_from_buffer(data); let wasmi_result = wasmi::Module::from_buffer(data);
let wabt_result =
// TODO: Do validation only! https://github.com/pepyakin/wasmi/issues/16 wabt::Module::read_binary(data, &Default::default()).and_then(|m| m.validate());
let wabt_result = wabt::wasm2wat(data);
assert_eq!(wasmi_result.is_ok(), wabt_result.is_ok()); assert_eq!(wasmi_result.is_ok(), wabt_result.is_ok());
}); });