Closed
Bug 1329773
(awsm)
Opened 8 years ago
Closed 4 years ago
[meta] [awsm] Generative and differential testing fuzzer for WebAssembly
Categories
(Core :: JavaScript: WebAssembly, task, P3)
Core
JavaScript: WebAssembly
Tracking
()
RESOLVED
INACTIVE
People
(Reporter: bbouvier, Assigned: bbouvier)
References
Details
(Keywords: meta)
awsm (as in "awesome") is not a spelling mistake but a wasm specific fuzzer on which I've been working lately. As of today, it serves two purposes: - crash testing: ensure we don't hit assertions / crashes when compiling / instantiating and calling into wasm. - differential testing: ensure the results are consistent across platforms and compilation modes. In the future, it could be easily extended to test Cretonne compilation as well, as soon as we get a wasm-to-cretonne translator (or it could even be generating cretonne IL, with slightly more work). It generates wasm test cases (in the text format directly, to make debugging easier), including one Module which is compiled, instantiated and then called from JS. All the exported functions are called and their return values are printed on stdout, as well as other interesting values (e.g. global variables' values). The fuzzer can run these tiny programs with different executable runners (e.g shells built for x86/x64/ARM) in different modes (wasm-baseline vs wasm-ion), and compare the results against each other for differential testing. The fuzzer's code is hidden in a private repository somewhere in the cloudz, but if people are interested, they can email me and I can give them the procedure to get access to the code. Marking this bug as a meta-bug for all the issues found with awsm.
Assignee | ||
Updated•8 years ago
|
Alias: awsm
Updated•8 years ago
|
Priority: -- → P3
Assignee | ||
Updated•6 years ago
|
Component: JavaScript Engine: JIT → Javascript: Web Assembly
Updated•6 years ago
|
Summary: [awsm] Generative and differential testing fuzzer for WebAssembly → [meta] [awsm] Generative and differential testing fuzzer for WebAssembly
Updated•5 years ago
|
Type: defect → task
Assignee | ||
Updated•4 years ago
|
Status: ASSIGNED → RESOLVED
Closed: 4 years ago
Resolution: --- → INACTIVE
You need to log in
before you can comment on or make changes to this bug.
Description
•