[Fuzzing] Fuzzing Improvement Plan 1.0

[lum1n0us]

This document is for tracking the progress of an ongoing fuzzing improvement plan. At present, WAMR utilizes the OSS-Fuzz platform for fuzz testing. The ultimate goal is to increase code coverage to over 80%. (core/iwasm).

We are still in search of new fuzzing theories that can establish an efficient fuzzing process.

TODO

• Extend coverage to instantiation.
• Extend coverage to execution.
• Include additional features.
• Incorporate more running modes.
• Run differential fuzzing against the spec interpreter, wasmtime(?) and wamr

Related discussions

• Validation AoT files

References

• wasm-tools smith
• wasmtime fuzz