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

Add plain load to fuzzer (#58)

This commit is contained in:
Sergey Pepyakin 2018-02-15 20:34:56 +03:00 committed by GitHub
parent d11dffcf51
commit d02b0f8527
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 19 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
fuzz/Cargo.toml
View File

@ -24,6 +24,10 @@ members = ["."]
name = "load" name = "load"
path = "fuzz_targets/load.rs" path = "fuzz_targets/load.rs"
[[bin]]
name = "load_wabt"
path = "fuzz_targets/load_wabt.rs"
[[bin]] [[bin]]
name = "load_wasmparser" name = "load_wasmparser"
path = "fuzz_targets/load_wasmparser.rs" path = "fuzz_targets/load_wasmparser.rs"

8
fuzz/fuzz_targets/load.rs
View File

@ -1,13 +1,9 @@
#![no_main] #![no_main]
#[macro_use] #[macro_use]
extern crate libfuzzer_sys; extern crate libfuzzer_sys;
extern crate wabt;
extern crate wasmi; extern crate wasmi;
fuzz_target!(|data: &[u8]| { fuzz_target!(|data: &[u8]| {
let wasmi_result = wasmi::Module::from_buffer(data); // Just check if loading some arbitrary buffer doesn't panic.
let wabt_result = let _ = wasmi::Module::from_buffer(data);
wabt::Module::read_binary(data, &Default::default()).and_then(|m| m.validate());
assert_eq!(wasmi_result.is_ok(), wabt_result.is_ok());
}); });

13
fuzz/fuzz_targets/load_wabt.rs Normal file
View File

@ -0,0 +1,13 @@
#![no_main]
#[macro_use]
extern crate libfuzzer_sys;
extern crate wabt;
extern crate wasmi;
fuzz_target!(|data: &[u8]| {
let wasmi_result = wasmi::Module::from_buffer(data);
let wabt_result =
wabt::Module::read_binary(data, &Default::default()).and_then(|m| m.validate());
assert_eq!(wasmi_result.is_ok(), wabt_result.is_ok());
});