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.

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

Add Wasmer (Singlepass) and Wasmer (Cranelift) to differential fuzzing infrastructure #895

Open
Robbepop opened this issue Jan 16, 2024 · 0 comments
Labels
enhancement New feature or request help wanted Extra attention is needed

Comments

@Robbepop
Copy link
Member

Robbepop commented Jan 16, 2024

Blocked by: #896, #894

Currently our differential fuzzer only supports Wasmi (register), Wasmi (stack) and Wasmtime.

In #894 we found out that adding both Wasmer (Singlepass) and Wasmer (Cranelift) might be beneficial in finding out if a found difference between the supported engines stems from Wasm based non-determinism since Wasmer (Cranelift) works more similar to Wasmtime and Wasmer (Singlepass) works more similar to Wasmi (register).

In supporting both Wasmer based backends we have more information to decide in these situation if such a find is a false positive.

@Robbepop Robbepop added the enhancement New feature or request label Jan 16, 2024
@Robbepop Robbepop added the help wanted Extra attention is needed label Jul 25, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request help wanted Extra attention is needed
Projects
None yet
Development

No branches or pull requests

1 participant