This fuzz target tests the property: any Wasm module that Lucet can compile should produce an artifact that validates with VeriWasm. We are looking for both "false positive" bugs in VeriWasm, i.e. compilation results which are correct but which the validator can't handle, as well as "true positive" validator errors that result from a genuine Lucet miscompilation. If we see neither, then we have some more confidence that both (i) Lucet is less likely to have heap-soundness bugs, and (ii) VeriWasm is solid enough that one could consider requiring it to pass before using a module.
76bd578
A Bytecode Alliance project
Lucet is a native WebAssembly compiler and runtime. It is designed to safely execute untrusted WebAssembly programs inside your application.
Check out our announcement post on the Fastly blog.
Lucet uses, and is developed in collaboration with, the Bytecode Alliance's Cranelift code generator. It powers Fastly's Compute@Edge platform.
Lucet's documentation is available at https://bytecodealliance.github.io/lucet (sources).
