🏗️ Move wasm-smith's non-trapping mode logic to CodeBuilder by itsrainy · Pull Request #769 · bytecodealliance/wasm-tools

Commits on Oct 27, 2022

Change CodeBuilder functions to emit multiple instructions

itsrainy
and
fitzgen
committed
1fd44cf
Move no-trapping logic to a code_builder module
itsrainy
committed
a9fc52e
Add configuration option to disallow traps
itsrainy
committed
0123e51
Don't generate trapping instructions that haven't been handled yet
itsrainy
committed
77bc09f
Remove unused import_count function
itsrainy
committed
e21bd93
Update crates/wasm-smith/src/core/code_builder.rs
itsrainy
committed
2fcf98e
Add first pass at fuzzer to verify non-trapping mode does not trap
itsrainy
committed
9ec356a
rebase
itsrainy
committed
2b24907
Address review comments
itsrainy
committed
df12a02
Handle table and element segments in no-trapping mode

itsrainy
and
fitzgen
committed
1bd49f4
Fix smoke test for non-trapping mode
itsrainy
committed
c21d147
Clamp generated data offset to min memory size minus data length
itsrainy
committed
bb29731
Handle running out of fuel during instantiation
itsrainy
committed
1f82680
Don't generate simd instructions in non-trapping mode
itsrainy
committed
da9a663
Use ne rather than eq to check for NaN values. NaN can't be checked
itsrainy
committed
b2a21dd
Perform bounds checking for trunc instructions in non-trapping mode
itsrainy
committed
e90582e
Adjust fuel to avoid "out of fuel" error on consume(0)
itsrainy
committed
62c27b3
Explicitly specify the largest/smallest i64 that can be represented as
itsrainy
committed
4fda694
As part of our non-trapping logic for load operations, we emit instructions
itsrainy
committed
d091301
Don't emit unreachable instructions in non-trapping mode
itsrainy
committed
a42cabf

Commits on Nov 2, 2022

Explicitly specify max/min values for f32
itsrainy
committed
1b35fdb

Commits on Nov 3, 2022

Commits on Nov 4, 2022

Commits on Nov 7, 2022

Clean up code a little bit
itsrainy
committed
3a761e6

Commits on Nov 8, 2022

Add doc to `disallow_traps` explaining StackOverflow traps
itsrainy
committed
9a1a86f

Navigation Menu

Uh oh!

🏗️ Move wasm-smith's non-trapping mode logic to CodeBuilder - #769

🏗️ Move wasm-smith's non-trapping mode logic to CodeBuilder#769
fitzgen merged 28 commits into
bytecodealliance:mainfrom
itsrainy:rainy/code-builder-no-traps

Commits on Oct 27, 2022

Change CodeBuilder functions to emit multiple instructions

Move no-trapping logic to a code_builder module

Add configuration option to disallow traps

Don't generate trapping instructions that haven't been handled yet

Remove unused import_count function

Update crates/wasm-smith/src/core/code_builder.rs

Add first pass at fuzzer to verify non-trapping mode does not trap

rebase

Address review comments

Handle table and element segments in no-trapping mode

Fix smoke test for non-trapping mode

Clamp generated data offset to min memory size minus data length

Handle running out of fuel during instantiation

Don't generate simd instructions in non-trapping mode

Use ne rather than eq to check for NaN values. NaN can't be checked

Perform bounds checking for trunc instructions in non-trapping mode

Adjust fuel to avoid "out of fuel" error on consume(0)

Explicitly specify the largest/smallest i64 that can be represented as

As part of our non-trapping logic for load operations, we emit instructions

Don't emit unreachable instructions in non-trapping mode

Commits on Nov 2, 2022

Explicitly specify max/min values for f32

Commits on Nov 3, 2022

Handle min/max f32 values representable as i32

Ensure stores/loads with negative addresses don't trap

Don't allow stores with memarg.offset==i64::MAX while in non-trapping mode

Commits on Nov 4, 2022

Refactor mem offset calculation to be in one place

Use a ResourceLimiter to prevent libfuzzer from running out of memory.

Commits on Nov 7, 2022

Clean up code a little bit

Commits on Nov 8, 2022

Add doc to `disallow_traps` explaining StackOverflow traps