Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Modernize Wasmi differential fuzzing #1257

Merged
merged 22 commits into from
Oct 26, 2024
Merged

Modernize Wasmi differential fuzzing #1257

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
22 commits
Select commit Hold shift click to select a range
32f67d2
refactor FuzzVal
Robbepop Oct 25, 2024
c9b4a48
add FuzzError
Robbepop Oct 25, 2024
a55eefa
add Wasm module exports abstraction
Robbepop Oct 25, 2024
950f193
add DifferentialOracle trait
Robbepop Oct 25, 2024
46e08ca
add Wasmi oracle
Robbepop Oct 25, 2024
cb25d7c
remove invalid doc link
Robbepop Oct 25, 2024
d096f51
Merge branch 'main' into rf-refactor-differential-fuzzer
Robbepop Oct 25, 2024
1a1bb4f
move wasmi/mod.rs -> wasmi.rs
Robbepop Oct 25, 2024
1cefd18
move From FuzzVal -> wasmi::Val impl
Robbepop Oct 25, 2024
6e7d7d4
add differential crate feature to wasmi_fuzz
Robbepop Oct 25, 2024
b11876e
rename binding
Robbepop Oct 26, 2024
edbf1e4
remove unused imports
Robbepop Oct 26, 2024
ff96376
add Wasmi v0.31 oracle impl
Robbepop Oct 26, 2024
8978d1c
improve panic message
Robbepop Oct 26, 2024
a2dd433
add wasmtime differential oracle
Robbepop Oct 26, 2024
6dabbbf
clean-up wasmtime oracle
Robbepop Oct 26, 2024
d6b7946
improve FuzzError and add is_non_deterministic
Robbepop Oct 26, 2024
a179479
add FuncType information to fuzz ModuleExports
Robbepop Oct 26, 2024
ba0d551
add [Partial]Eq for FuzzVal
Robbepop Oct 26, 2024
ddb0a5e
refactor DifferentialOracle traits
Robbepop Oct 26, 2024
374bed9
enable tail-call and extended-const Wasm proposals for Wasmi (stack) …
Robbepop Oct 26, 2024
c6bea90
modernize differential fuzzing
Robbepop Oct 26, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Next Next commit
refactor FuzzVal
  • Loading branch information
@Robbepop
Robbepop committed Oct 25, 2024
commit 32f67d2e543759a0e5c2d6764c6f90eae7cc2b01
2 changes: 1 addition & 1 deletion crates/fuzz/src/lib.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,5 4,5 @@ mod value;

pub use self::{
config::{FuzzSmithConfig, FuzzWasmiConfig},
value::{FuzzRefTy, FuzzVal, FuzzValType},
value::{FuzzVal, FuzzValType},
};
16 changes: 4 additions & 12 deletions crates/fuzz/src/value.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -38,16 38,8 @@ pub enum FuzzVal {
I64(i64),
F32(f32),
F64(f64),
Null(FuzzRefTy),
}

/// A Wasm reference type.
#[derive(Debug, Copy, Clone)]
pub enum FuzzRefTy {
/// The Wasm `funcref` type.
Func,
/// The Wasm `externref` type.
Extern,
FuncRef { is_null: bool },
ExternRef { is_null: bool },
}

impl FuzzVal {
Expand All @@ -58,8 50,8 @@ impl FuzzVal {
FuzzValType::I64 => Self::I64(i64::arbitrary(u).unwrap_or_default()),
FuzzValType::F32 => Self::F32(f32::arbitrary(u).unwrap_or_default()),
FuzzValType::F64 => Self::F64(f64::arbitrary(u).unwrap_or_default()),
FuzzValType::FuncRef => Self::Null(FuzzRefTy::Func),
FuzzValType::ExternRef => Self::Null(FuzzRefTy::Extern),
FuzzValType::FuncRef => Self::FuncRef { is_null: true },
FuzzValType::ExternRef => Self::ExternRef { is_null: true },
}
}
}